No Cover Image

Conference Paper/Proceeding/Abstract 1192 views

Proof principles of CSP - CSP-Prover in practice

Yohinao Isobe, William Merrin, Markus Roggenbach Orcid Logo

Pages: 425 - 442

Swansea University Author: Markus Roggenbach Orcid Logo

Published: Springer 2007
Tags: Add Tag
No Tags, Be the first to tag this record!
Item Description: In LDIC 2007, Bremen, Germany
College: Faculty of Science and Engineering
Start Page: 425
End Page: 442