%0 Conference Paper %1 conf/tacas/Nguyen0TP15 %A Nguyen, Truc L. %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 461-463 %T Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches - (Competition Contribution). %U http://dblp.uni-trier.de/db/conf/tacas/tacas2015.html#Nguyen0TP15 %V 9035 %@ 978-3-662-46680-3

@inproceedings{conf/tacas/Nguyen0TP15, added-at = {2019-08-20T00:00:00.000+0200}, author = {Nguyen, Truc L. and Fischer, Bernd and Torre, Salvatore La and Parlato, Gennaro}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2d640b5543b3466484056ad032febe8e9/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2015}, editor = {Baier, Christel and Tinelli, Cesare}, ee = {https://www.wikidata.org/entity/Q57658757}, interhash = {357495801fdcca18ce39c0f547846665}, intrahash = {d640b5543b3466484056ad032febe8e9}, isbn = {978-3-662-46680-3}, keywords = {dblp}, pages = {461-463}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T16:30:37.000+0200}, title = {Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches - (Competition Contribution).}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2015.html#Nguyen0TP15}, volume = 9035, year = 2015 }