CSP-Prover-a Proof Tool for the Verification of Scalable Concurrent Systems
-
- ISOBE Yoshinao
- National Institute of Advanced Industrial Science and Technology (Japan)
-
- ROGGENBACH Markus
- Swansea University (UK)
Bibliographic Information
- Other Title
-
- CSP-Prover — スケーラブルな並行システムの検証のための証明器
Search this article
Journal
-
- Computer Software
-
Computer Software 25 (4), 85-92, 2008
Japan Society for Software Science and Technology
- Tweet
Details 詳細情報について
-
- CRID
- 1390001204736878720
-
- NII Article ID
- 110006990889
- 130004549123
-
- NII Book ID
- AN10075819
-
- NDL BIB ID
- 9701122
-
- ISSN
- 02896540
-
- Text Lang
- en
-
- Data Source
-
- JaLC
- NDL
- CiNii Articles
- KAKEN