Conference Paper/Proceeding/Abstract 23746 views
Proof principles of CSP - CSP-Prover in practice
Yohinao Isobe,
William Merrin,
Markus Roggenbach 
Pages: 425 - 442
Swansea University Author:
Markus Roggenbach
Abstract
Proof principles of CSP - CSP-Prover in practice
| Published: |
Springer
2007
|
|---|---|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa27 |
| Item Description: |
In LDIC 2007, Bremen, Germany |
|---|---|
| College: |
Faculty of Science and Engineering |
| Start Page: |
425 |
| End Page: |
442 |