Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI) ISOBE Yoshinao and ROGGENBACH Markus,CSP-Prover-a Proof Tool for the Verification of Scalable Concurrent Systems,Computer Software,02896540,Japan Society for Software Science and Technology,2008,25,4,85-92,https://cir.nii.ac.jp/crid/1390001204736878720,https://doi.org/10.11309/jssst.25.4_85