No Cover Image

Journal article 606 views

CSP-Prover - A proof tool for the verification of scalable concurrent systems / Yohinao Isobe; 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
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