%0 Conference Paper %1 conf/tacas/TomascoI0TP14 %A Tomasco, Ermenegildo %A Inverso, Omar %A Fischer, Bernd %A Torre, Salvatore La %A Parlato, Gennaro %B TACAS %D 2014 %E Ábrahám, Erika %E Havelund, Klaus %I Springer %K dblp %P 402-404 %T MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings - (Competition Contribution). %U http://dblp.uni-trier.de/db/conf/tacas/tacas2014.html#TomascoI0TP14 %V 8413 %@ 978-3-642-54861-1

@inproceedings{conf/tacas/TomascoI0TP14, added-at = {2018-11-14T00:00:00.000+0100}, author = {Tomasco, Ermenegildo and Inverso, Omar and Fischer, Bernd and Torre, Salvatore La and Parlato, Gennaro}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/28eaf0652edd3cb7972fa98eb736af098/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2014}, editor = {Ábrahám, Erika and Havelund, Klaus}, ee = {https://www.wikidata.org/entity/Q57658767}, interhash = {e2c0a32e9ab6b095db43022430448287}, intrahash = {8eaf0652edd3cb7972fa98eb736af098}, isbn = {978-3-642-54861-1}, keywords = {dblp}, pages = {402-404}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T16:30:29.000+0200}, title = {MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings - (Competition Contribution).}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2014.html#TomascoI0TP14}, volume = 8413, year = 2014 }