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]
@inproceedings{TripakisY98,
title = {Verification of the Fast Reservation Protocol with Delayed Transmission using the Tool Kronos},
author = {Stavros Tripakis and Sergio Yovine},
year = {1998},
url = {http://dlib.computer.org/conferen/rtas/8569/pdf/85690165.pdf},
tags = {protocol},
researchr = {https://researchr.org/publication/TripakisY98},
cites = {0},
citedby = {0},
pages = {165},
booktitle = {IEEE Real Time Technology and Applications Symposium},
}