%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 }