A case study in formal methods : specification and validation of the OM/RR protocol

T.A.C. Willemse, J. Tretmans, A. Klomp

Onderzoeksoutput: Boek/rapportRapportAcademic

86 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's14
StatusGepubliceerd - 2000

Publicatie series

NaamComputing science reports
Volume0010
ISSN van geprinte versie0926-4515

Citeer dit