%0 Conference Paper %1 conf/kivs/Rudin85 %A Rudin, Harry %B Kommunikation in Verteilten Systemen (1) %D 1985 %E Heger, Dirk %E Krüger, Gerhard %E Spaniol, Otto %E Zorn, Werner %I Springer %K dblp %P 575-587 %T Time in Formal Protocol Specifications. %U http://dblp.uni-trier.de/db/conf/kivs/kivs85-1.html#Rudin85 %V 95 %@ 3-540-15197-4

@inproceedings{conf/kivs/Rudin85, added-at = {2003-02-11T00:00:00.000+0100}, author = {Rudin, Harry}, biburl = {https://www.bibsonomy.org/bibtex/21ca8669a783a3ac3a7ba8ae0851bd0d0/dblp}, booktitle = {Kommunikation in Verteilten Systemen (1)}, crossref = {conf/kivs/1985-1}, editor = {Heger, Dirk and Krüger, Gerhard and Spaniol, Otto and Zorn, Werner}, ee = {http://dx.doi.org/10.1007/978-3-642-70285-3_35}, interhash = {37ddaa33e36fbb062871c02ff1fd0922}, intrahash = {1ca8669a783a3ac3a7ba8ae0851bd0d0}, isbn = {3-540-15197-4}, keywords = {dblp}, pages = {575-587}, publisher = {Springer}, series = {Informatik-Fachberichte}, timestamp = {2016-11-17T11:43:41.000+0100}, title = {Time in Formal Protocol Specifications.}, url = {http://dblp.uni-trier.de/db/conf/kivs/kivs85-1.html#Rudin85}, volume = 95, year = 1985 }