%0 Conference Paper %1 conf/icalp/Gerth82 %A Gerth, Rob %B ICALP %D 1982 %E Nielsen, Mogens %E Schmidt, Erik Meineche %I Springer %K dblp %P 252-264 %T A Sound and Complete Hoare Axiomatization of the Ada-Rendevous. %U http://dblp.uni-trier.de/db/conf/icalp/icalp82.html#Gerth82 %V 140 %@ 3-540-11576-5

@inproceedings{conf/icalp/Gerth82, added-at = {2017-05-19T00:00:00.000+0200}, author = {Gerth, Rob}, biburl = {https://www.bibsonomy.org/bibtex/26373f386ccf7b682db4dec72a075f22c/dblp}, booktitle = {ICALP}, crossref = {conf/icalp/1982}, editor = {Nielsen, Mogens and Schmidt, Erik Meineche}, ee = {https://doi.org/10.1007/BFb0012774}, interhash = {738ed7089fbc7fa350a019d6691c1b83}, intrahash = {6373f386ccf7b682db4dec72a075f22c}, isbn = {3-540-11576-5}, keywords = {dblp}, pages = {252-264}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:27:00.000+0200}, title = {A Sound and Complete Hoare Axiomatization of the Ada-Rendevous.}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp82.html#Gerth82}, volume = 140, year = 1982 }