The bounded retransmission protocol must be on time!
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 416-431
- https://doi.org/10.1007/bfb0035403
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- A theory of timed automataPublished by Elsevier ,2002
- The bounded retransmission protocol must be on time!Published by Springer Nature ,1997
- Verification of an Audio Protocol with bus collision using UppaalPublished by Springer Nature ,1996
- Extending promela and spin for real timePublished by Springer Nature ,1996
- Experiments in theorem proving and model checking for protocol verificationPublished by Springer Nature ,1996
- UPPAAL — a tool suite for automatic verification of real-time systemsPublished by Springer Nature ,1996
- A bounded retransmission protocol for large data packetsPublished by Springer Nature ,1996
- Hybrid Systems IIIPublished by Springer Nature ,1996
- A user guide to HyTechPublished by Springer Nature ,1995
- Proof-checking a data link protocolPublished by Springer Nature ,1994