No Cover Image

Book chapter 533 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

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: College of Science