%0 Conference Paper %1 conf/kivs/Sunshine81 %A Sunshine, Carl A. %B Kommunikation in Verteilten Systemen %D 1981 %E Schindler, Sigram %E Schröder, Jürgen C. W. %I Springer %K dblp %P 406-428 %T Formal Modeling of Communication Protocols - State of the Art. %U http://dblp.uni-trier.de/db/conf/kivs/kivs81.html#Sunshine81 %V 40 %@ 3-540-10618-9

@inproceedings{conf/kivs/Sunshine81, added-at = {2003-01-14T00:00:00.000+0100}, author = {Sunshine, Carl A.}, biburl = {https://www.bibsonomy.org/bibtex/20362d3486750dba2461f379e985ff20e/dblp}, booktitle = {Kommunikation in Verteilten Systemen}, crossref = {conf/kivs/1981}, editor = {Schindler, Sigram and Schröder, Jürgen C. W.}, ee = {http://dx.doi.org/10.1007/978-3-642-67978-0_24}, interhash = {d5da6e74c7038c382032542921ec5aa0}, intrahash = {0362d3486750dba2461f379e985ff20e}, isbn = {3-540-10618-9}, keywords = {dblp}, pages = {406-428}, publisher = {Springer}, series = {Informatik-Fachberichte}, timestamp = {2016-11-17T11:43:52.000+0100}, title = {Formal Modeling of Communication Protocols - State of the Art.}, url = {http://dblp.uni-trier.de/db/conf/kivs/kivs81.html#Sunshine81}, volume = 40, year = 1981 }