Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions.

P. Vijay Suman, Paritosh K. Pandya

Browse the full LATA paper archive.