%0 Conference Paper %1 conf/pstv/Jones82 %A Jones, Gary %B PSTV %D 1982 %E Sunshine, Carl A. %I North-Holland %K dblp %P 391-400 %T The Total Correctness of Communication Protocols. %U http://dblp.uni-trier.de/db/conf/pstv/pstv1982.html#Jones82 %@ 0-444-86481-4

@inproceedings{conf/pstv/Jones82, added-at = {2002-01-17T00:00:00.000+0100}, author = {Jones, Gary}, biburl = {https://www.bibsonomy.org/bibtex/23f7d718733dfa3e807e69f6e21b35bfa/dblp}, booktitle = {PSTV}, crossref = {conf/pstv/1982}, date = {2002-01-17}, description = {dblp}, editor = {Sunshine, Carl A.}, interhash = {f2bece3b4be536717a1c226894cc6b28}, intrahash = {3f7d718733dfa3e807e69f6e21b35bfa}, isbn = {0-444-86481-4}, keywords = {dblp}, pages = {391-400}, publisher = {North-Holland}, timestamp = {2002-01-17T00:00:00.000+0100}, title = {The Total Correctness of Communication Protocols.}, url = {http://dblp.uni-trier.de/db/conf/pstv/pstv1982.html#Jones82}, year = 1982 }