%0 Conference Paper %1 conf/frocos/BarrettDD13 %A Barrett, Clark W. %A Demri, Stéphane %A Deters, Morgan %B FroCos %D 2013 %E Fontaine, Pascal %E Ringeissen, Christophe %E Schmidt, Renate A. %I Springer %K dblp %P 120-150 %T Witness Runs for Counter Machines. %U http://dblp.uni-trier.de/db/conf/frocos/frocos2013.html#BarrettDD13 %V 8152 %@ 978-3-642-40884-7

@inproceedings{conf/frocos/BarrettDD13, added-at = {2019-09-25T00:00:00.000+0200}, author = {Barrett, Clark W. and Demri, Stéphane and Deters, Morgan}, biburl = {https://www.bibsonomy.org/bibtex/22299d78292bd2d9e88d345a585fc4c89/dblp}, booktitle = {FroCos}, crossref = {conf/frocos/2013}, editor = {Fontaine, Pascal and Ringeissen, Christophe and Schmidt, Renate A.}, ee = {https://doi.org/10.1007/978-3-642-40885-4_9}, interhash = {8b7624796b728d9d305cf899625d3269}, intrahash = {2299d78292bd2d9e88d345a585fc4c89}, isbn = {978-3-642-40884-7}, keywords = {dblp}, pages = {120-150}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T13:49:30.000+0200}, title = {Witness Runs for Counter Machines.}, url = {http://dblp.uni-trier.de/db/conf/frocos/frocos2013.html#BarrettDD13}, volume = 8152, year = 2013 }