%0 Conference Paper %1 conf/ac/Rudin86 %A Rudin, Harry %B Embedded Systems %D 1986 %E Kündig, Albert T. %E Bührer, Richard E. %E Dähler, Jacques %I Springer %K dblp %P 127-152 %T Tools for Protocols Driven by Formal Specifications. %U http://dblp.uni-trier.de/db/conf/ac/esys1986.html#Rudin86 %V 284 %@ 0-387-18581-X

@inproceedings{conf/ac/Rudin86, added-at = {2017-05-19T00:00:00.000+0200}, author = {Rudin, Harry}, biburl = {https://www.bibsonomy.org/bibtex/2e7163bb5d11016cb8ad29ff4f7416aa8/dblp}, booktitle = {Embedded Systems}, crossref = {conf/ac/1986esys}, editor = {Kündig, Albert T. and Bührer, Richard E. and Dähler, Jacques}, ee = {https://doi.org/10.1007/BFb0016350}, interhash = {011aeb0bf0258613656eba2116de5b6f}, intrahash = {e7163bb5d11016cb8ad29ff4f7416aa8}, isbn = {0-387-18581-X}, keywords = {dblp}, pages = {127-152}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-24T00:58:38.000+0200}, title = {Tools for Protocols Driven by Formal Specifications.}, url = {http://dblp.uni-trier.de/db/conf/ac/esys1986.html#Rudin86}, volume = 284, year = 1986 }