Book chapter 1058 views
Proof Principles of CSP – CSP-Prover in Practice
Yoshinao Isobe,
Markus Roggenbach 
Swansea University Author:
Markus Roggenbach
Full text not available from this repository: check for access using links below.
DOI (Published version): 10.1007/978-3-540-76862-3_42
Abstract
Proof Principles of CSP – CSP-Prover in Practice
| Published: |
Springer
2008
|
|---|---|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa7528 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Item Description: |
In Dynamics in Logistics 2008, pp 425-442 |
|---|---|
| College: |
Faculty of Science and Engineering |