2015年1月
An Over-Approximation Forward Analysis for Nested Timed Automata
Lecture Notes in Computer Science
- ,
- ,
- 巻
- 8979
- 号
- 開始ページ
- 1-15
- 終了ページ
- 記述言語
- 英語
- 掲載種別
- 研究論文（学術雑誌）
結縁 祥治
Shoji Yuen
更新日: 02/14