%0 Conference Paper %1 conf/lata/LuckMS15 %A Lück, Martin %A Meier, Arne %A Schindler, Irina %B LATA %D 2015 %E Dediu, Adrian-Horia %E Formenti, Enrico %E Martín-Vide, Carlos %E Truthe, Bianca %I Springer %K dblp %P 549-560 %T Parameterized Complexity of CTL - A Generalization of Courcelle's Theorem. %U http://dblp.uni-trier.de/db/conf/lata/lata2015.html#LuckMS15 %V 8977 %@ 978-3-319-15578-4

@inproceedings{conf/lata/LuckMS15, added-at = {2018-11-14T00:00:00.000+0100}, author = {Lück, Martin and Meier, Arne and Schindler, Irina}, biburl = {https://www.bibsonomy.org/bibtex/2107b55bbda6ccf84ddedacd244cd5de9/dblp}, booktitle = {LATA}, crossref = {conf/lata/2015}, editor = {Dediu, Adrian-Horia and Formenti, Enrico and Martín-Vide, Carlos and Truthe, Bianca}, ee = {https://www.wikidata.org/entity/Q57998290}, interhash = {3db39089fadbfcff9618724bac1c0898}, intrahash = {107b55bbda6ccf84ddedacd244cd5de9}, isbn = {978-3-319-15578-4}, keywords = {dblp}, pages = {549-560}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-17T12:17:05.000+0200}, title = {Parameterized Complexity of CTL - A Generalization of Courcelle's Theorem.}, url = {http://dblp.uni-trier.de/db/conf/lata/lata2015.html#LuckMS15}, volume = 8977, year = 2015 }