Improvements for the Symbolic Verification of Timed Automata.

Rongjie Yan, Guangyuan Li, Wenliang Zhang, Yunquan Peng

Browse the full FORTE paper archive.