文章基本信息

标题：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