%0 Conference Paper %1 conf/gi/RonckenGR81 %A Roncken, Marly %A Gerth, Rob %A de Roever, Willem P. %B GI Jahrestagung %D 1981 %E Brauer, Wilfried %I Springer %K dblp %P 88-95 %T A Proof System for Brinch Hansen's Distributed Processes. %U http://dblp.uni-trier.de/db/conf/gi/gi81.html#RonckenGR81 %V 50 %@ 3-540-10884-X

@inproceedings{conf/gi/RonckenGR81, added-at = {2003-02-11T00:00:00.000+0100}, author = {Roncken, Marly and Gerth, Rob and de Roever, Willem P.}, biburl = {https://www.bibsonomy.org/bibtex/2d1058f996b913df8797f7190c8279c9f/dblp}, booktitle = {GI Jahrestagung}, crossref = {conf/gi/1981}, editor = {Brauer, Wilfried}, ee = {http://dx.doi.org/10.1007/978-3-662-01089-1_11}, interhash = {25f9cd017cabd861ed85bf69151bc1f4}, intrahash = {d1058f996b913df8797f7190c8279c9f}, isbn = {3-540-10884-X}, keywords = {dblp}, pages = {88-95}, publisher = {Springer}, series = {Informatik-Fachberichte}, timestamp = {2016-11-17T11:39:30.000+0100}, title = {A Proof System for Brinch Hansen's Distributed Processes.}, url = {http://dblp.uni-trier.de/db/conf/gi/gi81.html#RonckenGR81}, volume = 50, year = 1981 }