Login / Signup

Reachability results for timed automata with unbounded data structures.

Ruggero LanotteAndrea Maggiolo-SchettiniAngelo Troina
Published in: Acta Informatica (2010)
Keyphrases