Interfaces for Control Components

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/978-3-642-24310-3_3 ◽

2011 ◽

pp. 25-25

Author(s):

Rajeev Alur

Download Full-text