APA Citation

Roggenbach, M., & Isobe, Y. (2008). CSP-Prover - A Proof Tool for the Verification of Scalable Concurrent Systems.

Chicago Style Citation

Roggenbach, Markus, and Yoshinao Isobe. CSP-Prover - A Proof Tool for the Verification of Scalable Concurrent Systems. 2008.

MLA Citation

Roggenbach, Markus, and Yoshinao Isobe. CSP-Prover - A Proof Tool for the Verification of Scalable Concurrent Systems. 2008.

Warning: These citations may not always be 100% accurate.