Event-Clock Automata: A Determinizable Class of Timed Automata

著者: Rajeev Alur, Limor Fix, Thomas A. Henzinger - Theoretical Computer Science 1999 被引用: 246