"Determinization and Expressiveness of Integer Reset Timed Automata with ..."

P. Vijay Suman, Paritosh K. Pandya (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics