%0 Journal Article %1 journals/cn/ChansonLV93 %A Chanson, Samuel T. %A Loureiro, Antonio Alfredo Ferreira %A Vuong, Son T. %D 1993 %J Computer Networks and ISDN Systems %K dblp %N 7 %P 723-739 %T On Tools Supporting the Use of Formal Description Techniques in Protocol Development. %U http://dblp.uni-trier.de/db/journals/cn/cn25.html#ChansonLV93 %V 25

@article{journals/cn/ChansonLV93, added-at = {2011-07-05T00:00:00.000+0200}, author = {Chanson, Samuel T. and Loureiro, Antonio Alfredo Ferreira and Vuong, Son T.}, biburl = {https://www.bibsonomy.org/bibtex/20393e504713ddf6e35d2890d7461edb2/dblp}, ee = {http://dx.doi.org/10.1016/0169-7552(93)90045-6}, interhash = {76c6416e601e51102acd789c39b9e2e4}, intrahash = {0393e504713ddf6e35d2890d7461edb2}, journal = {Computer Networks and ISDN Systems}, keywords = {dblp}, number = 7, pages = {723-739}, timestamp = {2011-07-06T11:34:25.000+0200}, title = {On Tools Supporting the Use of Formal Description Techniques in Protocol Development.}, url = {http://dblp.uni-trier.de/db/journals/cn/cn25.html#ChansonLV93}, volume = 25, year = 1993 }