A Kleene Theorem for Timed Automata (1997)

by Eugene Asarin , Paul Caspi , Oded Maler
Citations:62 - 4 self