Continuous-Time Models for System Design and Analysis

Rajeev Alur, Mirco Giacobbe, Thomas Henzinger, Kim Guldstrand Larsen, Marius Mikučionis

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

11 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Continuous-Time Models for System Design and Analysis'. Together they form a unique fingerprint.

Computer Science

Keyphrases