Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/podc/LanskyO83
%A Lansky, Amy L.
%A Owicki, Susan S.
%B PODC
%D 1983
%E Probert, Robert L.
%E Lynch, Nancy A.
%E Santoro, Nicola
%I ACM
%K dblp
%P 198-212
%T GEM: A Tool for Concurrency Specification and Verification.
%U http://dblp.uni-trier.de/db/conf/podc/podc83.html#LanskyO83
%@ 0-89791-110-5
@inproceedings{conf/podc/LanskyO83,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Lansky, Amy L. and Owicki, Susan S.},
biburl = {https://www.bibsonomy.org/bibtex/28dfaa9e78b8ec17729fc65b0a7569605/dblp},
booktitle = {PODC},
crossref = {conf/podc/1983},
editor = {Probert, Robert L. and Lynch, Nancy A. and Santoro, Nicola},
ee = {https://doi.org/10.1145/800221.806722},
interhash = {b787c31224977ab9fabb83d9ab1710f3},
intrahash = {8dfaa9e78b8ec17729fc65b0a7569605},
isbn = {0-89791-110-5},
keywords = {dblp},
pages = {198-212},
publisher = {ACM},
timestamp = {2024-04-09T20:42:21.000+0200},
title = {GEM: A Tool for Concurrency Specification and Verification.},
url = {http://dblp.uni-trier.de/db/conf/podc/podc83.html#LanskyO83},
year = 1983
}