%0 Journal Article %1 journals/comcom/Holzmann97 %A Holzmann, Gerard J. %D 1997 %J Comput. Commun. %K dblp %N 2 %P 97-105 %T Designing bug-free protocols with SPIN. %U http://dblp.uni-trier.de/db/journals/comcom/comcom20.html#Holzmann97 %V 20

@article{journals/comcom/Holzmann97, added-at = {2020-02-20T00:00:00.000+0100}, author = {Holzmann, Gerard J.}, biburl = {https://www.bibsonomy.org/bibtex/23f777740732e248beacc9cb8c638b5ae/dblp}, ee = {https://doi.org/10.1016/S0140-3664(96)01150-4}, interhash = {7ea6ffe0034bf61f7b59a33fcc69f5a5}, intrahash = {3f777740732e248beacc9cb8c638b5ae}, journal = {Comput. Commun.}, keywords = {dblp}, number = 2, pages = {97-105}, timestamp = {2020-02-21T11:58:13.000+0100}, title = {Designing bug-free protocols with SPIN.}, url = {http://dblp.uni-trier.de/db/journals/comcom/comcom20.html#Holzmann97}, volume = 20, year = 1997 }