Probabilistic Timed Protocol Verification for the Extended State Transition Model

• Authors:

• C.-M. Huang;S.-W. Lee;J.-M. Hsu

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the 1994 International Conference on Parallel and Distributed Systems
• Year:
• 1994