%0 Conference Paper %1 conf/tableaux/BarrettDD13 %A Barrett, Clark W. %A Demri, Stéphane %A Deters, Morgan %B TABLEAUX %D 2013 %E Galmiche, Didier %E Larchey-Wendling, Dominique %I Springer %K dblp %P 1-4 %T Witness Runs for Counter Machines - (Abstract). %U http://dblp.uni-trier.de/db/conf/tableaux/tableaux2013.html#BarrettDD13 %V 8123 %@ 978-3-642-40536-5

@inproceedings{conf/tableaux/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/2359d012579774c2740bb5821032236c8/dblp}, booktitle = {TABLEAUX}, crossref = {conf/tableaux/2013}, editor = {Galmiche, Didier and Larchey-Wendling, Dominique}, ee = {https://doi.org/10.1007/978-3-642-40537-2_1}, interhash = {1b7ea83d41593e467db81561a7ecdd4d}, intrahash = {359d012579774c2740bb5821032236c8}, isbn = {978-3-642-40536-5}, keywords = {dblp}, pages = {1-4}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T13:10:05.000+0200}, title = {Witness Runs for Counter Machines - (Abstract).}, url = {http://dblp.uni-trier.de/db/conf/tableaux/tableaux2013.html#BarrettDD13}, volume = 8123, year = 2013 }