%0 Conference Paper %1 conf/issta/Musuvathi08 %A Musuvathi, Madan %B PADTAD %D 2008 %E Ur, Shmuel %I ACM %K dblp %P 10 %T Systematic concurrency testing using CHESS. %U http://dblp.uni-trier.de/db/conf/issta/padtad2008.html#Musuvathi08 %@ 978-1-60558-052-4

@inproceedings{conf/issta/Musuvathi08, added-at = {2018-11-28T00:00:00.000+0100}, author = {Musuvathi, Madan}, biburl = {https://www.bibsonomy.org/bibtex/291c2fe73420833651dcdbb5670869f77/dblp}, booktitle = {PADTAD}, crossref = {conf/issta/2008p}, editor = {Ur, Shmuel}, ee = {https://dl.acm.org/citation.cfm?id=1390851}, interhash = {d9af82878e0136d2de82c572da8447bf}, intrahash = {91c2fe73420833651dcdbb5670869f77}, isbn = {978-1-60558-052-4}, keywords = {dblp}, pages = 10, publisher = {ACM}, timestamp = {2018-11-29T11:41:09.000+0100}, title = {Systematic concurrency testing using CHESS.}, url = {http://dblp.uni-trier.de/db/conf/issta/padtad2008.html#Musuvathi08}, year = 2008 }