%0 Conference Paper %1 conf/csfw/MurphyCR92 %A Murphy, Sandra Rawlings %A Crocker, Stephen D. %A Redmond, Timothy %B CSFW %D 1992 %I IEEE Computer Society %K dblp %P 9-21 %T Unwinding and the LOCK Proof Referees Study. %U http://dblp.uni-trier.de/db/conf/csfw/csfw1992.html#MurphyCR92 %@ 0-8186-2850-2

@inproceedings{conf/csfw/MurphyCR92, added-at = {2019-06-06T00:00:00.000+0200}, author = {Murphy, Sandra Rawlings and Crocker, Stephen D. and Redmond, Timothy}, biburl = {https://www.bibsonomy.org/bibtex/2f7a25094a50480251d304d848004155a/dblp}, booktitle = {CSFW}, crossref = {conf/csfw/1992}, ee = {https://doi.org/10.1109/CSFW.1992.236791}, interhash = {f445a544916a0f9e5c1d54b98fba59e0}, intrahash = {f7a25094a50480251d304d848004155a}, isbn = {0-8186-2850-2}, keywords = {dblp}, pages = {9-21}, publisher = {IEEE Computer Society}, timestamp = {2019-10-17T15:56:31.000+0200}, title = {Unwinding and the LOCK Proof Referees Study.}, url = {http://dblp.uni-trier.de/db/conf/csfw/csfw1992.html#MurphyCR92}, year = 1992 }