The syntax and semantics of timed µCRL

Onderzoeksoutput: Boek/rapportRapportAcademic

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

Publicatie series

NaamCWI report. SEN-R : software engineering
Volume9709
ISSN van geprinte versie1386-369X

Citeer dit