CSP-Prover : スケーラブルな並行システムの検証のための証明器(<特集>エージェント)

著者: 磯部祥尚ローゲンバッハマーカス Markus Roggenbach 産業技術総合研究所:マーカス・ローゲンバッハスウォンジー大学産業技術総合研究所:マーカス・ローゲンバッハスウォンジー大学 National Institute of Advanced Industrial Science and Technology:Swansea University National Institute of Advanced Industrial Science and Technology:Swansea University
出版者: 日本ソフトウェア科学会
雑誌: コンピュータソフトウェア = Computer software (ISSN:02896540)
巻号頁・発行日: vol.25, no.4, pp.85-92, 2008-10-28
参考文献数: 17

こんな論文どうですか？ CSP-Prover : スケーラブルな並行システムの検証のための証明器(<特集>エージェント)(磯部祥尚ほか),2008 https://t.co/B1t4NsNCTV