Junwei Du, Huiping Zhang, Gang Yu, Xi Wang. A full symbolic compositional reachability analysis of timed automata based on BDD. In Seventh International Conference on Advanced Computational Intelligence, ICACI 2015, Wuyi, China, March 27-29, 2015. pages 218-222, IEEE, 2015. [doi]
Abstract is missing.