Journal article 1132 views
CSP-Prover - A proof tool for the verification of scalable concurrent systems
Yohinao Isobe,
Markus Roggenbach 
Journal of Computer Software, Volume: 25, Issue: 4, Pages: 85 - 92
Swansea University Author:
Markus Roggenbach
Abstract
CSP-Prover - A proof tool for the verification of scalable concurrent systems
| Published in: | Journal of Computer Software |
|---|---|
| Published: |
Japanese Society for Software Science and Technology
2008
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa166 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Item Description: |
JSSST (Japan Society for Software Science and Technology) Computer Software 25(4) |
|---|---|
| College: |
Faculty of Science and Engineering |
| Issue: |
4 |
| Start Page: |
85 |
| End Page: |
92 |