| 书目名称 | Modal and Temporal Properties of Processes |
| 编辑 | Colin Stirling |
| 视频video | http://file.papertrans.cn/636/635700/635700.mp4 |
| 丛书名称 | Texts in Computer Science |
| 图书封面 |  |
| 出版日期 | Textbook 2001 |
| 关键词 | Algorithms; Bisimulation; algorithm; formal method; formal verification; logic; model checking; modeling; ve |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-1-4757-3550-5 |
| isbn_softcover | 978-1-4419-3153-5 |
| isbn_ebook | 978-1-4757-3550-5Series ISSN 1868-0941 Series E-ISSN 1868-095X |
| issn_series | 1868-0941 |
| copyright | Springer Science+Business Media New York 2001 |
|Archiver|手机版|小黑屋|
派博传思国际
( 京公网安备110108008328)
GMT+8, 2025-11-15 19:13
发表于 2025-3-21 17:22:47
