@article{DBLP:journals/tse/Garg85,
author = {Kumkum Garg},
title = {An Approach to Performance Specification of Communication
Protocols Using Timed Petri Nets},
journal = {IEEE Trans. Software Eng.},
volume = {11},
number = {10},
year = {1985},
pages = {1216-1225},
ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.1985.231869},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-10 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
