Urgent Partial Order Reduction for Extended Timed Automata.

Kim G. Larsen, Marius Mikucionis, Marco Muiz, Jir Srba

Browse the full ATVA paper archive.