Information and Media Technologies
Online ISSN : 1881-0896
ISSN-L : 1881-0896
Computing
CSP-Prover — a Proof Tool for the Verification of Scalable Concurrent Systems
Yoshinao Isobe, Markus Roggenbach
Author information
JOURNAL FREE ACCESS

2010 Volume 5 Issue 1 Pages 32-39

Details
Download PDF (240K)
Download citation RIS

(compatible with EndNote, Reference Manager, ProCite, RefWorks)

BIB TEX

(compatible with BibDesk, LaTeX)

Text
How to download citation
Contact us
Article 1st page
Content from these authors
© 2010 by Japan Society for Software Science and Technology
Previous article Next article
Favorites & Alerts

Recently viewed articles
Share this page
feedback
 Top