%0 Conference Paper %1 conf/cai/CourcelleD13 %A Courcelle, Bruno %A Durand, Irène %B CAI %D 2013 %E Muntean, Traian %E Poulakis, Dimitrios %E Rolland, Robert %I Springer %K dblp %P 211-222 %T Model-Checking by Infinite Fly-Automata. %U http://dblp.uni-trier.de/db/conf/cai/cai2013.html#CourcelleD13 %V 8080 %@ 978-3-642-40662-1

@inproceedings{conf/cai/CourcelleD13, added-at = {2017-05-24T00:00:00.000+0200}, author = {Courcelle, Bruno and Durand, Irène}, biburl = {https://www.bibsonomy.org/bibtex/2a2c30a988a56c7942f025a7153cea368/dblp}, booktitle = {CAI}, crossref = {conf/cai/2013}, editor = {Muntean, Traian and Poulakis, Dimitrios and Rolland, Robert}, ee = {https://doi.org/10.1007/978-3-642-40663-8_20}, interhash = {a4e1f275b405c0fa4b770ce9f977a79c}, intrahash = {a2c30a988a56c7942f025a7153cea368}, isbn = {978-3-642-40662-1}, keywords = {dblp}, pages = {211-222}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:31:10.000+0200}, title = {Model-Checking by Infinite Fly-Automata.}, url = {http://dblp.uni-trier.de/db/conf/cai/cai2013.html#CourcelleD13}, volume = 8080, year = 2013 }