%0 Conference Paper %1 conf/cav/BaslerMWK09 %A Basler, Gérard %A Mazzucchi, Michele %A Wahl, Thomas %A Kroening, Daniel %B CAV %D 2009 %E Bouajjani, Ahmed %E Maler, Oded %I Springer %K dblp %P 64-78 %T Symbolic Counter Abstraction for Concurrent Software. %U http://dblp.uni-trier.de/db/conf/cav/cav2009.html#BaslerMWK09 %V 5643 %@ 978-3-642-02657-7

@inproceedings{conf/cav/BaslerMWK09, added-at = {2018-10-03T00:00:00.000+0200}, author = {Basler, Gérard and Mazzucchi, Michele and Wahl, Thomas and Kroening, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/242c9a6d1111fae8e344803dff30e4585/dblp}, booktitle = {CAV}, crossref = {conf/cav/2009}, editor = {Bouajjani, Ahmed and Maler, Oded}, ee = {https://doi.org/10.1007/978-3-642-02658-4_9}, interhash = {1181d99e664f941ce8663ed9cfca3041}, intrahash = {42c9a6d1111fae8e344803dff30e4585}, isbn = {978-3-642-02657-7}, keywords = {dblp}, pages = {64-78}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:38:06.000+0200}, title = {Symbolic Counter Abstraction for Concurrent Software.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2009.html#BaslerMWK09}, volume = 5643, year = 2009 }