No Cover Image

Conference Paper/Proceeding/Abstract 489 views

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

Swansea University Author: Markus, Roggenbach

Published: 2008
URI: https://cronfa.swan.ac.uk/Record/cronfa5293
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