%0 Conference Paper %1 conf/tacas/TomascoI0TP15a %A Tomasco, Ermenegildo %A Inverso, Omar %A Fischer, Bernd %A Torre, Salvatore La %A Parlato, Gennaro %B TACAS %D 2015 %E Baier, Christel %E Tinelli, Cesare %I Springer %K dblp %P 551-565 %T Verifying Concurrent Programs by Memory Unwinding. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2015.html#TomascoI0TP15a %V 9035 %@ 978-3-662-46680-3

@inproceedings{conf/tacas/TomascoI0TP15a, added-at = {2020-06-15T00:00:00.000+0200}, author = {Tomasco, Ermenegildo and Inverso, Omar and Fischer, Bernd and Torre, Salvatore La and Parlato, Gennaro}, biburl = {https://www.bibsonomy.org/bibtex/2204a9425174513dc0797ae68f73f447f/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2015}, editor = {Baier, Christel and Tinelli, Cesare}, ee = {https://www.wikidata.org/entity/Q57658759}, interhash = {34ec4bd23f9ff5432b5cf87cff38d0aa}, intrahash = {204a9425174513dc0797ae68f73f447f}, isbn = {978-3-662-46680-3}, keywords = {dblp}, pages = {551-565}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T20:56:35.000+0200}, title = {Verifying Concurrent Programs by Memory Unwinding.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2015.html#TomascoI0TP15a}, volume = 9035, year = 2015 }