Kumkum Garg. An Approach to Performance Specification of Communication Protocols Using Timed Petri Nets. IEEE Trans. Software Eng., 11(10):1216-1225, 1985.
@article{Garg85, title = {An Approach to Performance Specification of Communication Protocols Using Timed Petri Nets}, author = {Kumkum Garg}, year = {1985}, tags = {protocol, systematic-approach}, researchr = {https://researchr.org/publication/Garg85}, cites = {0}, citedby = {0}, journal = {IEEE Trans. Software Eng.}, volume = {11}, number = {10}, pages = {1216-1225}, }