No Cover Image

Book chapter 417 views

Proof Principles of CSP – CSP-Prover in Practice / 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
URI: https://cronfa.swan.ac.uk/Record/cronfa7528
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