Process algebra for hybrid systems

J.A. Bergstra, C.A. Middelburg

Research output: Contribution to journalArticleAcademicpeer-review

58 Citations (Scopus)
101 Downloads (Pure)
Original languageEnglish
Pages (from-to)215-280
JournalTheoretical Computer Science
Volume335
Issue number2-3
DOIs
Publication statusPublished - 2005

Cite this