Modeling and Verifying a Bounded Retransmission Protocol (1996)
by
Pedro R. D'Argenio
,
Joost-pieter Katoen
,
Theo Ruys
,
Jan Tretmans
| Venue: | University of Maribor |
| Citations: | 13 - 1 self |
Document Versions
| Modeling and Verifying a Bounded Retransmission Protocol –Pedro R. D'Argenio, Joost-pieter Katoen, Theo Ruys, Jan Tretmans — 1996 — University of Maribor |
