Verification of the Fast Reservation Protocol with Delayed Transmission using the Tool Kronos

Stavros Tripakis, Sergio Yovine. Verification of the Fast Reservation Protocol with Delayed Transmission using the Tool Kronos. In IEEE Real Time Technology and Applications Symposium. pages 165, 1998. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.