Verification of temporal properties of processes in a setting with data

J.F. Groote, R. Mateescu

Research output: Book/ReportReportAcademic

39 Citations (Scopus)
Original languageEnglish
Place of PublicationAmsterdam
PublisherCentrum voor Wiskunde en Informatica
Number of pages18
Publication statusPublished - 1998

Publication series

NameCWI Report
VolumeSEN-R9804

Cite this