Exploring properties of a bounded retransmission protocol with VIS

Autor: Meolic, Robert
Matična publikacija: CIT. Journal of computing and information technology (1999)

Proceedings of the Workshop on Formal Verification of Telecommunication Systems : part I, Zagreb, November 5, 2004. : part II, Maribor, February 4, 2005.

Impresum 2005

Vol. 1.

Impresum 2000