%0 Conference Paper %1 conf/popl/NguyenGO85 %A Nguyen, Van %A Gries, David %A Owicki, Susan S. %B POPL %D 1985 %E Deusen, Mary S. Van %E Galil, Zvi %E Reid, Brian K. %I ACM Press %K dblp %P 121-131 %T A Model and Temporal Proof System for Networks of Processes. %U http://dblp.uni-trier.de/db/conf/popl/popl85.html#NguyenGO85 %@ 0-89791-147-4

@inproceedings{conf/popl/NguyenGO85, added-at = {2018-11-06T00:00:00.000+0100}, author = {Nguyen, Van and Gries, David and Owicki, Susan S.}, biburl = {https://www.bibsonomy.org/bibtex/2eca813519b26037cceec3582e836a6fa/dblp}, booktitle = {POPL}, crossref = {conf/popl/1985}, editor = {Deusen, Mary S. Van and Galil, Zvi and Reid, Brian K.}, ee = {https://doi.org/10.1145/318593.318624}, interhash = {9a713b6e434939e1baf68113b03ed9e7}, intrahash = {eca813519b26037cceec3582e836a6fa}, isbn = {0-89791-147-4}, keywords = {dblp}, pages = {121-131}, publisher = {ACM Press}, timestamp = {2018-11-07T15:43:37.000+0100}, title = {A Model and Temporal Proof System for Networks of Processes.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl85.html#NguyenGO85}, year = 1985 }