Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Conference Paper
%1 conf/popl/HarelP78
%A Harel, David
%A Pratt, Vaughan R.
%B POPL
%D 1978
%E Aho, Alfred V.
%E Zilles, Stephen N.
%E Szymanski, Thomas G.
%I ACM Press
%K dblp
%P 203-213
%T Nondeterminism in Logics of Programs.
%U http://dblp.uni-trier.de/db/conf/popl/popl78.html#HarelP78
@inproceedings{conf/popl/HarelP78,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Harel, David and Pratt, Vaughan R.},
biburl = {https://www.bibsonomy.org/bibtex/290e17930871810f71834d60c6e80b428/dblp},
booktitle = {POPL},
crossref = {conf/popl/1978},
editor = {Aho, Alfred V. and Zilles, Stephen N. and Szymanski, Thomas G.},
ee = {https://doi.org/10.1145/512760.512782},
interhash = {ce295364fafabc4d23026d218c837045},
intrahash = {90e17930871810f71834d60c6e80b428},
keywords = {dblp},
pages = {203-213},
publisher = {ACM Press},
timestamp = {2018-11-07T15:44:28.000+0100},
title = {Nondeterminism in Logics of Programs.},
url = {http://dblp.uni-trier.de/db/conf/popl/popl78.html#HarelP78},
year = 1978
}