Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/jacm/GermanS92
%A German, Steven M.
%A Sistla, A. Prasad
%D 1992
%J J. ACM
%K dblp
%N 3
%P 675-735
%T Reasoning about Systems with Many Processes.
%U http://dblp.uni-trier.de/db/journals/jacm/jacm39.html#GermanS92
%V 39
@article{journals/jacm/GermanS92,
added-at = {2018-11-06T00:00:00.000+0100},
author = {German, Steven M. and Sistla, A. Prasad},
biburl = {https://www.bibsonomy.org/bibtex/2f4d79fe94cc8d06730c67ac40fcd6cf2/dblp},
ee = {https://doi.org/10.1145/146637.146681},
interhash = {33269431190c510707dc367ef9fe5236},
intrahash = {f4d79fe94cc8d06730c67ac40fcd6cf2},
journal = {J. ACM},
keywords = {dblp},
number = 3,
pages = {675-735},
timestamp = {2018-11-07T12:11:57.000+0100},
title = {Reasoning about Systems with Many Processes.},
url = {http://dblp.uni-trier.de/db/journals/jacm/jacm39.html#GermanS92},
volume = 39,
year = 1992
}
