%0 Conference Paper %1 conf/tacas/QadeerR05 %A Qadeer, Shaz %A Rehof, Jakob %B TACAS %D 2005 %E Halbwachs, Nicolas %E Zuck, Lenore D. %I Springer %K dblp %P 93-107 %T Context-Bounded Model Checking of Concurrent Software. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2005.html#QadeerR05 %V 3440 %@ 3-540-25333-5

@inproceedings{conf/tacas/QadeerR05, added-at = {2018-06-26T00:00:00.000+0200}, author = {Qadeer, Shaz and Rehof, Jakob}, biburl = {https://www.bibsonomy.org/bibtex/217b54491e564f2c0c6e2aedf57154af2/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2005}, editor = {Halbwachs, Nicolas and Zuck, Lenore D.}, ee = {https://doi.org/10.1007/978-3-540-31980-1_7}, interhash = {b15cc1adb5467bf2b44ffe13ef10c574}, intrahash = {17b54491e564f2c0c6e2aedf57154af2}, isbn = {3-540-25333-5}, keywords = {dblp}, pages = {93-107}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:36:24.000+0200}, title = {Context-Bounded Model Checking of Concurrent Software.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2005.html#QadeerR05}, volume = 3440, year = 2005 }