A Kleene Theorem for Timed Automata (1997)

by Eugene Asarin , Paul Caspi , Oded Maler
Citations:55 - 2 self