%0 Conference Paper %1 conf/els/CourcelleD10 %A Courcelle, Bruno %A Durand, Irène %B ELS %D 2010 %E Rhodes, Christophe %I ELSAA %K dblp %P 7-21 %T Verifying Monadic Second Order Graph Properties with Tree Automata. %U http://dblp.uni-trier.de/db/conf/els/els2010.html#CourcelleD10

@inproceedings{conf/els/CourcelleD10, added-at = {2019-11-14T00:00:00.000+0100}, author = {Courcelle, Bruno and Durand, Irène}, biburl = {https://www.bibsonomy.org/bibtex/231f0d026fff54de45d2059838ae96538/dblp}, booktitle = {ELS}, crossref = {conf/els/2010}, editor = {Rhodes, Christophe}, ee = {https://european-lisp-symposium.org/static/proceedings/2010.pdf#section*.16}, interhash = {3efa33df1aafbf540b2e536a9322f08a}, intrahash = {31f0d026fff54de45d2059838ae96538}, keywords = {dblp}, pages = {7-21}, publisher = {ELSAA}, timestamp = {2019-11-15T11:51:07.000+0100}, title = {Verifying Monadic Second Order Graph Properties with Tree Automata.}, url = {http://dblp.uni-trier.de/db/conf/els/els2010.html#CourcelleD10}, year = 2010 }