Filters: Author is Z. Brezocnik [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)
,