%0 Conference Paper %1 conf/tphol/ZhangSOLAHB93 %A Zhang, Cui %A Shaw, Robert J. %A Olsson, Ronald A. %A Levitt, Karl N. %A Archer, Myla %A Heckman, Mark R. %A Benson, Gregory D. %B HUG %D 1993 %E Joyce, Jeffrey J. %E Seger, Carl-Johan H. %I Springer %K dblp %P 29-42 %T Mechanizing a Programming Logic for the Concurrent Programming Language microSR in HOL. %U http://dblp.uni-trier.de/db/conf/tphol/tphol93.html#ZhangSOLAHB93 %V 780 %@ 3-540-57826-9

@inproceedings{conf/tphol/ZhangSOLAHB93, added-at = {2016-11-17T00:00:00.000+0100}, author = {Zhang, Cui and Shaw, Robert J. and Olsson, Ronald A. and Levitt, Karl N. and Archer, Myla and Heckman, Mark R. and Benson, Gregory D.}, biburl = {https://www.bibsonomy.org/bibtex/24283703179147528719cc8fc20d26fe9/dblp}, booktitle = {HUG}, crossref = {conf/tphol/1993}, editor = {Joyce, Jeffrey J. and Seger, Carl-Johan H.}, ee = {http://dx.doi.org/10.1007/3-540-57826-9_123}, interhash = {80f945c96597061949f6b3f1e487837e}, intrahash = {4283703179147528719cc8fc20d26fe9}, isbn = {3-540-57826-9}, keywords = {dblp}, pages = {29-42}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2016-11-19T11:39:00.000+0100}, title = {Mechanizing a Programming Logic for the Concurrent Programming Language microSR in HOL.}, url = {http://dblp.uni-trier.de/db/conf/tphol/tphol93.html#ZhangSOLAHB93}, volume = 780, year = 1993 }