Sciweavers

76
Voted
ICALP
1995
Springer

Automatic Synthesis of Real Time Systems

15 years 10 days ago
Automatic Synthesis of Real Time Systems
Jørgen H. Andersen, Kåre J. Kristoffe
Added 26 Aug 2010
Updated 26 Aug 2010
Type Conference
Year 1995
Where ICALP
Authors Jørgen H. Andersen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Jesper Niedermann
Comments (0)