No Cover Image

Book chapter 953 views

Proof Principles of CSP – CSP-Prover in Practice

Yoshinao Isobe, Markus Roggenbach Orcid Logo

Swansea University Author: Markus Roggenbach Orcid Logo

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

DOI (Published version): 10.1007/978-3-540-76862-3_42

Published: Springer 2008
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