%0 Conference Paper %1 conf/vmcai/HatcliffRD04 %A Hatcliff, John %A Robby, %A Dwyer, Matthew B. %B VMCAI %D 2004 %E Steffen, Bernhard %E Levi, Giorgio %I Springer %K dblp %P 175-190 %T Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking. %U http://dblp.uni-trier.de/db/conf/vmcai/vmcai2004.html#HatcliffRD04 %V 2937 %@ 3-540-20803-8

@inproceedings{conf/vmcai/HatcliffRD04, added-at = {2017-05-24T00:00:00.000+0200}, author = {Hatcliff, John and Robby and Dwyer, Matthew B.}, biburl = {https://www.bibsonomy.org/bibtex/23fd2891b68a6c4bf07429113c20c9c80/dblp}, booktitle = {VMCAI}, crossref = {conf/vmcai/2004}, editor = {Steffen, Bernhard and Levi, Giorgio}, ee = {https://doi.org/10.1007/978-3-540-24622-0_16}, interhash = {dccfd68798abea190e4164868e33065d}, intrahash = {3fd2891b68a6c4bf07429113c20c9c80}, isbn = {3-540-20803-8}, keywords = {dblp}, pages = {175-190}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:17:20.000+0200}, title = {Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking.}, url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2004.html#HatcliffRD04}, volume = 2937, year = 2004 }