Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods.

R. Govind, Frdric Herbreteau, B. Srivathsan, Igor Walukiewicz

Browse the full LICS paper archive.