No Cover Image

Conference Paper/Proceeding/Abstract 501 views

Proof principles of CSP - CSP-Prover in practice / Markus, Roggenbach

Pages: 425 - 442

Swansea University Author: Markus, Roggenbach

Published: Springer 2007
URI: https://cronfa.swan.ac.uk/Record/cronfa27
Tags: Add Tag
No Tags, Be the first to tag this record!
Item Description: In LDIC 2007, Bremen, Germany
College: College of Science
Start Page: 425
End Page: 442