The syntax and semantics of timed µCRL

Research output: Book/ReportReportAcademic

Original languageEnglish
Place of PublicationAmsterdam
PublisherCentrum voor Wiskunde en Informatica
Number of pages42
Publication statusPublished - 1997

Publication series

NameCWI report. SEN-R : software engineering
Volume9709
ISSN (Print)1386-369X

Cite this