No Cover Image

Journal article 498 views

CSP-Prover - A proof tool for the verification of scalable concurrent systems / Markus, Roggenbach

Journal of Computer Software, Volume: 25, Issue: 4, Pages: 85 - 92

Swansea University Author: Markus, Roggenbach

Published in: Journal of Computer Software
Published: Japanese Society for Software Science and Technology 2008
URI: https://cronfa.swan.ac.uk/Record/cronfa166
Tags: Add Tag
No Tags, Be the first to tag this record!
Item Description: JSSST (Japan Society for Software Science and Technology) Computer Software 25(4)
College: College of Science
Issue: 4
Start Page: 85
End Page: 92