%0 Conference Paper %1 conf/spin/ZengSLH12 %A Zeng, Reng %A Sun, Zhuo %A Liu, Su %A He, Xudong %B SPIN %D 2012 %E Donaldson, Alastair F. %E Parker, David %I Springer %K dblp %P 191-207 %T McPatom: A Predictive Analysis Tool for Atomicity Violation Using Model Checking. %U http://dblp.uni-trier.de/db/conf/spin/spin2012.html#ZengSLH12 %V 7385 %@ 978-3-642-31758-3

@inproceedings{conf/spin/ZengSLH12, added-at = {2017-05-17T00:00:00.000+0200}, author = {Zeng, Reng and Sun, Zhuo and Liu, Su and He, Xudong}, biburl = {https://www.bibsonomy.org/bibtex/2b134c3fb26b22b02b97a86ea6cb98087/dblp}, booktitle = {SPIN}, crossref = {conf/spin/2012}, editor = {Donaldson, Alastair F. and Parker, David}, ee = {https://doi.org/10.1007/978-3-642-31759-0_14}, interhash = {5d2d0e650765a1f405d3ae3fc6864258}, intrahash = {b134c3fb26b22b02b97a86ea6cb98087}, isbn = {978-3-642-31758-3}, keywords = {dblp}, pages = {191-207}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:05:31.000+0200}, title = {McPatom: A Predictive Analysis Tool for Atomicity Violation Using Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/spin/spin2012.html#ZengSLH12}, volume = 7385, year = 2012 }