No Cover Image

Conference Paper/Proceeding/Abstract 612 views

Proof principles of CSP - CSP-Prover in practice / Yohinao Isobe; William Merrin; Markus Roggenbach

Pages: 425 - 442

Swansea University Author: Markus, Roggenbach

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