Wolfgang Jürgensen, Son T. Vuong. Formal specification and validation of ISO transport protocol components, using petri nets. Computer Communication Review, 14(2):75-82, 1984. [doi]
@article{JurgensenV84:0,
title = {Formal specification and validation of ISO transport protocol components, using petri nets},
author = {Wolfgang Jürgensen and Son T. Vuong},
year = {1984},
doi = {10.1145/800056.802063},
url = {http://doi.acm.org/10.1145/800056.802063},
tags = {protocol},
researchr = {https://researchr.org/publication/JurgensenV84%3A0},
cites = {0},
citedby = {0},
journal = {Computer Communication Review},
volume = {14},
number = {2},
pages = {75-82},
}