Modeling and Verifying a Bounded Retransmission Protocol (1996)

Cached

Download Links

by Pedro R. D'Argenio , Joost-pieter Katoen , Theo Ruys , Jan Tretmans
Venue:University of Maribor
Citations:14 - 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