An Approach to Performance Specification of Communication Protocols Using Timed Petri Nets

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},
}