Timed verification with µCRL

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

Research output: Book/ReportReportAcademic

Original languageEnglish
Place of PublicationAmsterdam
PublisherCentrum voor Wiskunde en Informatica
Number of pages14
Publication statusPublished - 2003

Publication series

NameCWI report SEN-E : software engineering
Volume0312
ISSN (Print)1386-369X

Cite this