×
2007
Improvements for the Symbolic Verification of Timed Automata.
[DOI]
Rongjie Yan
,
Guangyuan Li
,
Wenliang Zhang
,
Yunquan Peng
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007