文章基本信息

标题：CSP-Prover — スケーラブルな並行システムの検証のための証明器
本地全文：下载
作者：磯部祥尚 ; ローゲンバッハマーカス
期刊名称：コンピュータソフトウェア
印刷版ISSN：0289-6540
出版年度：2008
卷号：25
期号：4
页码：4_85-4_92
DOI：10.11309/jssst.25.4_85
出版社：Japan Society for Software Science and Technology

联系我们|关于我们|网站声明

国家哲学社会科学文献中心版权所有