Details
| Originalsprache | Englisch |
|---|---|
| Titel des Sammelwerks | 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015 |
| Seiten | 59-68 |
| Publikationsstatus | Veröffentlicht - 2015 |
Zitieren
- Standard
- Harvard
- Apa
- Vancouver
- BibTex
- RIS
LTL Fragments are Hard for Standard Parameterisations. / Lück, Martin; Meier, Arne.
22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015. 2015. S. 59-68.
22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015. 2015. S. 59-68.
Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
Lück, M & Meier, A 2015, LTL Fragments are Hard for Standard Parameterisations. in 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015. S. 59-68. https://doi.org/10.1109/TIME.2015.9
Lück, M., & Meier, A. (2015). LTL Fragments are Hard for Standard Parameterisations. In 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015 (S. 59-68) https://doi.org/10.1109/TIME.2015.9
Lück M, Meier A. LTL Fragments are Hard for Standard Parameterisations. in 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015. 2015. S. 59-68 doi: 10.1109/TIME.2015.9
Download
@inproceedings{54c1e8b5cc094a7281921451567d4d8d,
title = "LTL Fragments are Hard for Standard Parameterisations",
author = "Martin L{\"u}ck and Arne Meier",
year = "2015",
doi = "10.1109/TIME.2015.9",
language = "English",
pages = "59--68",
booktitle = "22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015",
}
Download
TY - GEN
T1 - LTL Fragments are Hard for Standard Parameterisations
AU - Lück, Martin
AU - Meier, Arne
PY - 2015
Y1 - 2015
U2 - 10.1109/TIME.2015.9
DO - 10.1109/TIME.2015.9
M3 - Conference contribution
SP - 59
EP - 68
BT - 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015
ER -