Book chapter 1189 views

A Generic Theorem Prover of CSP Refinement

Isobe, Yoshinao, Roggenbach, Mark, Markus Roggenbach Orcid Logo

Tools and Algorithms for the Construction and Analysis of Systems, Volume: 3440, Pages: 108 - 123

Swansea University Author: Markus Roggenbach Orcid Logo

Full text not available from this repository: check for access using links below.

Check full text

DOI (Published version): 10.1007/b107194

Published in: Tools and Algorithms for the Construction and Analysis of Systems
ISSN: 0302-9743 1611-3349
Published: Springer 2005
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa1728
College: Faculty of Science and Engineering
Start Page: 108
End Page: 123