Samuel T. Chanson, Antonio Alfredo Ferreira Loureiro, Son T. Vuong. On Tools Supporting the Use of Formal Description Techniques in Protocol Development. Computer Networks, 25(7):723-739, 1993.
@article{ChansonLV93:0,
title = {On Tools Supporting the Use of Formal Description Techniques in Protocol Development},
author = {Samuel T. Chanson and Antonio Alfredo Ferreira Loureiro and Son T. Vuong},
year = {1993},
tags = {protocol},
researchr = {https://researchr.org/publication/ChansonLV93%3A0},
cites = {0},
citedby = {0},
journal = {Computer Networks},
volume = {25},
number = {7},
pages = {723-739},
}