Details
| Original language | English |
|---|---|
| Title of host publication | 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015 |
| Pages | 59-68 |
| Publication status | Published - 2015 |
Cite this
- 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. p. 59-68.
22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015. 2015. p. 59-68.
Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › 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. pp. 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 (pp. 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. p. 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 -