No Cover Image

Journal article 1016 views

CSP-Prover - A proof tool for the verification of scalable concurrent systems

Yohinao Isobe, Markus Roggenbach Orcid Logo

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

Swansea University Author: Markus Roggenbach Orcid Logo

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: Faculty of Science and Engineering
Issue: 4
Start Page: 85
End Page: 92