Continuous-Time Models for System Design and Analysis

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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

11 Citationer (Scopus)

Fingeraftryk

Dyk ned i forskningsemnerne om 'Continuous-Time Models for System Design and Analysis'. Sammen danner de et unikt fingeraftryk.

Computer Science

Keyphrases