%0 Conference Paper %1 conf/iwpec/MeierOSS16 %A Meier, Arne %A Ordyniak, Sebastian %A Sridharan, Ramanujan %A Schindler, Irena %B IPEC %D 2016 %E Guo, Jiong %E Hermelin, Danny %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 23:1-23:17 %T Backdoors for Linear Temporal Logic. %U http://dblp.uni-trier.de/db/conf/iwpec/ipec2016.html#MeierOSS16 %V 63 %@ 978-3-95977-023-1

@inproceedings{conf/iwpec/MeierOSS16, added-at = {2022-10-02T00:00:00.000+0200}, author = {Meier, Arne and Ordyniak, Sebastian and Sridharan, Ramanujan and Schindler, Irena}, biburl = {https://www.bibsonomy.org/bibtex/2b7b2759bbca8ac3e05f7024677ae2051/dblp}, booktitle = {IPEC}, crossref = {conf/iwpec/2016}, editor = {Guo, Jiong and Hermelin, Danny}, ee = {https://doi.org/10.4230/LIPIcs.IPEC.2016.23}, interhash = {2d8fca52db4742ee2ded7e1ea984f6cb}, intrahash = {b7b2759bbca8ac3e05f7024677ae2051}, isbn = {978-3-95977-023-1}, keywords = {dblp}, pages = {23:1-23:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-10T15:35:04.000+0200}, title = {Backdoors for Linear Temporal Logic.}, url = {http://dblp.uni-trier.de/db/conf/iwpec/ipec2016.html#MeierOSS16}, volume = 63, year = 2016 }