Nested Timed Automata with Invariants.

Yuwei Wang, Guoqiang Li, Shoji Yuen

Browse the full SETTA paper archive.