Sciweavers

ICALP
1995
Springer

Automatic Synthesis of Real Time Systems

14 years 2 months 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)