Ryo Yanase, Tatsunori Sakai, Makoto Sakai, Satoshi Yamane. Development of Model Checker of Dynamic Linear Hybrid Automata. In 37th Annual IEEE Computer Software and Applications Conference, COMPSAC 2013, Kyoto, Japan, July 22-26, 2013. pages 607-608, IEEE Computer Society, 2013. [doi]
Abstract is missing.