Completeness of timed µCRL

J.F. Groote, M.A. Reniers, J.J. Wamel, van, M.B. Zwaag, van der

Research output: Book/ReportReportAcademic

32 Downloads (Pure)
Original languageEnglish
Place of PublicationAmsterdam
PublisherCentrum voor Wiskunde en Informatica
Number of pages29
Publication statusPublished - 2000

Publication series

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

Cite this