Timed verification with µCRL

S.C.C. Blom, N. Ioustinova, N. Sidorova

Onderzoeksoutput: Boek/rapportRapportAcademic

Originele taal-2Engels
Plaats van productieAmsterdam
UitgeverijCentrum voor Wiskunde en Informatica
Aantal pagina's14
StatusGepubliceerd - 2003

Publicatie series

NaamCWI report SEN-E : software engineering
Volume0312
ISSN van geprinte versie1386-369X

Citeer dit