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