%0 Conference Paper %1 conf/rp/HundeshagenL17 %A Hundeshagen, Norbert %A Lange, Martin %B RP %D 2017 %E Hague, Matthew %E Potapov, Igor %I Springer %K %P 87-100 %T Model Checking CTL over Restricted Classes of Automatic Structures. %U http://dblp.uni-trier.de/db/conf/rp/rp2017.html#HundeshagenL17 %V 10506 %@ 978-3-319-67089-8

@inproceedings{conf/rp/HundeshagenL17, added-at = {2023-12-13T09:57:10.000+0100}, author = {Hundeshagen, Norbert and Lange, Martin}, biburl = {https://www.bibsonomy.org/bibtex/27b8bf1a5aba5cec0e03c57537d39521f/admin}, booktitle = {RP}, crossref = {conf/rp/2017}, editor = {Hague, Matthew and Potapov, Igor}, ee = {https://doi.org/10.1007/978-3-319-67089-8_7}, interhash = {d332d013d4fb4e32b19f72c4b88045f9}, intrahash = {7b8bf1a5aba5cec0e03c57537d39521f}, isbn = {978-3-319-67089-8}, keywords = {}, pages = {87-100}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T09:57:10.000+0100}, title = {Model Checking CTL over Restricted Classes of Automatic Structures.}, url = {http://dblp.uni-trier.de/db/conf/rp/rp2017.html#HundeshagenL17}, volume = 10506, year = 2017 }