Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%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
}