%0 Conference Paper %1 conf/lics/Goris05 %A Goris, Evan %A Marx, Maarten %B LICS %D 2005 %I IEEE Computer Society %K dblp %P 51-60 %T Looping Caterpillars. %U http://dblp.uni-trier.de/db/conf/lics/lics2005.html#Goris05 %@ 0-7695-2266-1

@inproceedings{conf/lics/Goris05, added-at = {2014-11-22T00:00:00.000+0100}, author = {Goris, Evan and Marx, Maarten}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f2f65611fd8182f17e74ce3c409fc133/dblp}, booktitle = {LICS}, crossref = {conf/lics/2005}, ee = {http://doi.ieeecomputersociety.org/10.1109/LICS.2005.24}, interhash = {8d438a728c1ca02d43a0a187e35aea68}, intrahash = {f2f65611fd8182f17e74ce3c409fc133}, isbn = {0-7695-2266-1}, keywords = {dblp}, pages = {51-60}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T16:32:34.000+0100}, title = {Looping Caterpillars.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2005.html#Goris05}, year = 2005 }