%0 Conference Paper %1 conf/cade/BozgaIKV10 %A Bozga, Marius %A Iosif, Radu %A Konecný, Filip %A Vojnar, Tomás %B WING@ETAPS/IJCAR %D 2010 %E Voronkov, Andrei %E Kovács, Laura %E Bjørner, Nikolaj %I EasyChair %K dblp %P 75 %T Tool Demonstration of the FLATA Counter Automata Toolset. %U http://dblp.uni-trier.de/db/conf/cade/wing2010.html#BozgaIKV10 %V 1

@inproceedings{conf/cade/BozgaIKV10, added-at = {2013-12-09T00:00:00.000+0100}, author = {Bozga, Marius and Iosif, Radu and Konecný, Filip and Vojnar, Tomás}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2929dcbce2a2076bcbcfa1e23a8d714db/dblp}, booktitle = {WING@ETAPS/IJCAR}, crossref = {conf/cade/2010wing}, editor = {Voronkov, Andrei and Kovács, Laura and Bjørner, Nikolaj}, ee = {http://www.easychair.org/publications/?page=1362921429}, interhash = {47d9b5d76779f0ec369c557b905505ea}, intrahash = {929dcbce2a2076bcbcfa1e23a8d714db}, keywords = {dblp}, pages = 75, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2016-06-17T09:33:36.000+0200}, title = {Tool Demonstration of the FLATA Counter Automata Toolset.}, url = {http://dblp.uni-trier.de/db/conf/cade/wing2010.html#BozgaIKV10}, volume = 1, year = 2010 }