文章基本信息
- 标题：CSP-Prover — a Proof Tool for the Verification of Scalable Concurrent Systems
- 本地全文：下载
- 作者：Yoshinao Isobe ; Markus Roggenbach
- 期刊名称：Information and Media Technologies
- 电子版ISSN：1881-0896
- 出版年度：2010
- 卷号：5
- 期号：1
- 页码：32-39
- DOI：10.11185/imt.5.32
- 出版社：Information and Media Technologies Editorial Board
