2017年10月
Nested Timed Automata with Invariants
Lecture Notes in Computer Science
- ,
- ,
- 巻
- 10606
- 号
- 開始ページ
- 77-93
- 終了ページ
- 記述言語
- 英語
- 掲載種別
- 研究論文(その他学術会議資料等)
- DOI
- 10.1007/978-3-319-69483-2
- ID情報
-
- DOI : 10.1007/978-3-319-69483-2