The Bounded Retransmission Protocol Must Be on Time!

Pedro R. D'Argenio, Joost-Pieter Katoen, Theo C. Ruys, Jan Tretmans

Browse the full TACAS paper archive.