Filters: Author is T. Kapus [Clear All Filters]
“Modeling and verifying a bounded retransmission protocol”, in Proc. of COST 247 International Workshop on Applied Formal Methods in System Design, {\rm Maribor, Slovenia}, 1996. paper-219.pdf (351.06 KB)
,