Kumkum Garg An Approach to Performance Specification of Communication Protocols Using Timed Petrinets. [Citation Graph (0, 0)][DBLP] ICDCS, 1984, pp:202-212 [Conf]
Kumkum Garg An Approach to Performance Specification of Communication Protocols Using Timed Petri Nets. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1985, v:11, n:10, pp:1216-1225 [Journal]