Analysis of three hybrid systems in timed µCRL

J.F. Groote, J.J. Wamel, van

Research output: Contribution to journalArticleAcademicpeer-review

9 Citations (Scopus)
Original languageEnglish
Pages (from-to)215-247
JournalScience of Computer Programming
Volume39
Issue number2-3
DOIs
Publication statusPublished - 2001

Cite this