A Partial Order Semantics Approach to the Clock Explosion Problem of Timed Automata.

Denis Lugiez, Peter Niebert, Sarah Zennou

Browse the full TACAS paper archive.