Details
| Original language | English |
|---|---|
| Title of host publication | 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015 |
| Editors | Fabio Grandi, Martin Lange, Alessio Lomuscio |
| Publisher | IEEE Computer Society |
| Pages | 101-110 |
| Number of pages | 10 |
| Publication status | Published - 2015 |
Publication series
| Name | CoRR |
|---|
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
The model checking fingerprints of CTL operators. / Krebs, Andreas; Meier, Arne; Mundhenk, Martin.
22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015. ed. / Fabio Grandi; Martin Lange; Alessio Lomuscio. IEEE Computer Society, 2015. p. 101-110 (CoRR).
22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015. ed. / Fabio Grandi; Martin Lange; Alessio Lomuscio. IEEE Computer Society, 2015. p. 101-110 (CoRR).
Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
Krebs, A, Meier, A & Mundhenk, M 2015, The model checking fingerprints of CTL operators. in F Grandi, M Lange & A Lomuscio (eds), 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015. CoRR, IEEE Computer Society, pp. 101-110. https://doi.org/10.1109/TIME.2015.13
Krebs, A., Meier, A., & Mundhenk, M. (2015). The model checking fingerprints of CTL operators. In F. Grandi, M. Lange, & A. Lomuscio (Eds.), 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015 (pp. 101-110). (CoRR). IEEE Computer Society. https://doi.org/10.1109/TIME.2015.13
Krebs A, Meier A, Mundhenk M. The model checking fingerprints of CTL operators. In Grandi F, Lange M, Lomuscio A, editors, 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015. IEEE Computer Society. 2015. p. 101-110. (CoRR). doi: 10.1109/TIME.2015.13
Download
@inproceedings{6538c5fcc4d64f289fa4960614d34c19,
title = "The model checking fingerprints of CTL operators",
author = "Andreas Krebs and Arne Meier and Martin Mundhenk",
year = "2015",
doi = "10.1109/TIME.2015.13",
language = "English",
series = "CoRR",
publisher = "IEEE Computer Society",
pages = "101--110",
editor = "Fabio Grandi and Martin Lange and Alessio Lomuscio",
booktitle = "22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015",
address = "United States",
}
Download
TY - GEN
T1 - The model checking fingerprints of CTL operators
AU - Krebs, Andreas
AU - Meier, Arne
AU - Mundhenk, Martin
PY - 2015
Y1 - 2015
U2 - 10.1109/TIME.2015.13
DO - 10.1109/TIME.2015.13
M3 - Conference contribution
T3 - CoRR
SP - 101
EP - 110
BT - 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015
A2 - Grandi, Fabio
A2 - Lange, Martin
A2 - Lomuscio, Alessio
PB - IEEE Computer Society
ER -