Sciweavers

STACS
1995
Springer

On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract)

14 years 2 months ago
On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract)
Oded Maler, Amir Pnueli, Joseph Sifakis
Added 26 Aug 2010
Updated 26 Aug 2010
Type Conference
Year 1995
Where STACS
Authors Oded Maler, Amir Pnueli, Joseph Sifakis
Comments (0)