%0 Journal Article %1 journals/cn/BlumerT82 %A Blumer, Thomas P. %A Tenney, Richard L. %D 1982 %J Comput. Networks %K dblp %N 3 %P 201-217 %T A Formal Specification Technique and Implementation Method for Protocols. %U http://dblp.uni-trier.de/db/journals/cn/cn6.html#BlumerT82 %V 6

@article{journals/cn/BlumerT82, added-at = {2020-02-19T00:00:00.000+0100}, author = {Blumer, Thomas P. and Tenney, Richard L.}, biburl = {https://www.bibsonomy.org/bibtex/261013d8c9463fc77146cd8f2b90fefcb/dblp}, ee = {https://doi.org/10.1016/0376-5075(82)90098-8}, interhash = {4dc8333bf20a457ec8b00f83dc404b1a}, intrahash = {61013d8c9463fc77146cd8f2b90fefcb}, journal = {Comput. Networks}, keywords = {dblp}, number = 3, pages = {201-217}, timestamp = {2020-02-20T11:48:10.000+0100}, title = {A Formal Specification Technique and Implementation Method for Protocols.}, url = {http://dblp.uni-trier.de/db/journals/cn/cn6.html#BlumerT82}, volume = 6, year = 1982 }