书目名称 | 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 |