%0 Conference Paper %1 conf/wdag/NesterenkoA99 %A Nesterenko, Mikhail %A Arora, Anish %B DISC %D 1999 %E Jayanti, Prasad %I Springer %K dblp %P 254-268 %T Stabilization-Preserving Atomicity Refinement. %U http://dblp.uni-trier.de/db/conf/wdag/disc99.html#NesterenkoA99 %V 1693 %@ 3-540-66531-5

@inproceedings{conf/wdag/NesterenkoA99, added-at = {2017-05-19T00:00:00.000+0200}, author = {Nesterenko, Mikhail and Arora, Anish}, biburl = {https://www.bibsonomy.org/bibtex/2781771b15cbf3ad23f7caecb8193d20d/dblp}, booktitle = {DISC}, crossref = {conf/wdag/1999}, editor = {Jayanti, Prasad}, ee = {https://doi.org/10.1007/3-540-48169-9_18}, interhash = {a2daa3948689277ef3d836597199c8c9}, intrahash = {781771b15cbf3ad23f7caecb8193d20d}, isbn = {3-540-66531-5}, keywords = {dblp}, pages = {254-268}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:40:04.000+0200}, title = {Stabilization-Preserving Atomicity Refinement.}, url = {http://dblp.uni-trier.de/db/conf/wdag/disc99.html#NesterenkoA99}, volume = 1693, year = 1999 }