Kumkum Garg. An Approach to Performance Specification of Communication Protocols Using Timed Petrinets. In ICDCS. pages 202-212, 1984.
@inproceedings{Garg84, title = {An Approach to Performance Specification of Communication Protocols Using Timed Petrinets}, author = {Kumkum Garg}, year = {1984}, tags = {protocol, systematic-approach}, researchr = {https://researchr.org/publication/Garg84}, cites = {0}, citedby = {0}, pages = {202-212}, booktitle = {ICDCS}, }