No Cover Image

Conference Paper/Proceeding/Abstract 612 views

CSP-Prover - A Proof Tool for the Verification of Scalable Concurrent Systems / Isobe, Yoshinao; Markus Roggenbach

Swansea University Author: Markus, Roggenbach

Published: 2008
Tags: Add Tag
No Tags, Be the first to tag this record!
Item Description: JSSST (Japan Society for Software Science and Technology) Computer Software
College: College of Science