No Cover Image

Book chapter 428 views

A Generic Theorem Prover of CSP Refinement / Markus, Roggenbach

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

Swansea University Author: Markus, Roggenbach

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
Tags: Add Tag
No Tags, Be the first to tag this record!
College: College of Science
Start Page: 108
End Page: 123