2022年
Certified Computation of Nondeterministic Limits
NASA Formal Methods - 14th International Symposium(NFM)
- ,
- ,
- 開始ページ
- 771
- 終了ページ
- 789
- 記述言語
- 掲載種別
- 研究論文(国際会議プロシーディングス)
- DOI
- 10.1007/978-3-031-06773-0_41
- 出版者・発行元
- Springer International Publishing
- リンク情報
- ID情報
-
- DOI : 10.1007/978-3-031-06773-0_41
- ISBN : 9783031067723
- ISBN : 9783031067730
- DBLP ID : conf/nfm/KonecnyPT22
- ORCIDのPut Code : 113317713