Conference Paper/Proceeding/Abstract 1618 views
CSP-Prover - A Proof Tool for the Verification of Scalable Concurrent Systems
Isobe, Yoshinao,
Markus Roggenbach 
Swansea University Author:
Markus Roggenbach
Abstract
CSP-Prover - A Proof Tool for the Verification of Scalable Concurrent Systems
| Published: |
2008
|
|---|---|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa5293 |
| Item Description: |
JSSST (Japan Society for Software Science and Technology) Computer Software |
|---|---|
| College: |
Faculty of Science and Engineering |