DMCA

On the Synthesis of Discrete Controllers for Timed Systems (1995)

by Oded Maler , Amir Pnueli , Joseph Sifakis
Venue:in E.W. Mayr and C. Puech (Eds), Proc. STACS'95, LNCS 900
Citations:242 - 18 self