An Approach to Performance Specification of Communication Protocols Using Timed Petrinets.

Kumkum Garg

Browse the full ICDCS paper archive.