[IEEE 2013 IEEE 37th Annual Computer Software and Applications Conference (COMPSAC) - Kyoto, Japan (2013.07.22-2013.07.26)] 2013 IEEE 37th Annual Computer Software and Applications Conference - Development of Model Checker of Dynamic Linear Hybrid Automata
Yanase, Ryo, Sakai, Tatsunori, Sakai, Makoto, Yamane, SatoshiYear:
2013
Language:
english
DOI:
10.1109/compsac.2013.98
File:
PDF, 218 KB
english, 2013