CSP-Prover - A Proof Tool for the Verification of Scalable Concurrent Systems (2010)
Attributed to:
Processes and Data
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: https://www.jstage.jst.go.jp/article/imt/5/1/5_1_32/_article
Type: Journal Article/Review
Volume: 5
Parent Publication: Information and Media Technologies
Issue: 1