%0 Journal Article %1 journals/tse/BlumerS86 %A Blumer, Thomas P. %A Sidhu, Deepinder P. %D 1986 %J IEEE Trans. Software Eng. %K dblp %N 8 %P 827-843 %T Mechanical Verification and Automatic Implementation of Communication Protocols. %U http://dblp.uni-trier.de/db/journals/tse/tse12.html#BlumerS86 %V 12

@article{journals/tse/BlumerS86, added-at = {2015-12-10T00:00:00.000+0100}, author = {Blumer, Thomas P. and Sidhu, Deepinder P.}, biburl = {https://www.bibsonomy.org/bibtex/2d99e3a3aab95cee65a5a95883baa096c/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.1986.6312985}, interhash = {21a0b9a94af4d55a5a893e6673e656bd}, intrahash = {d99e3a3aab95cee65a5a95883baa096c}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 8, pages = {827-843}, timestamp = {2015-12-12T11:46:00.000+0100}, title = {Mechanical Verification and Automatic Implementation of Communication Protocols.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse12.html#BlumerS86}, volume = 12, year = 1986 }