Dynamic State Exploration in Quantitative Protocol Analysis

• Authors:

• Dragomir D. Dimitrijevic;Mon-Song Chen

• Affiliations:

• -;-

• Venue:
• Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification IX
• Year:
• 1989