Verification of the Fast Reservation Protocol with Delayed Transmission using the Tool Kronos.
Stavros Tripakis, Sergio Yovine
VenueARTAS
Year1998
ProceedingsIEEE Real Time Technology and Applications Symposium
DBLP recordconf/rtas/TripakisY98 ↗
Browse the full RTAS paper archive.