APA Citation

Roggenbach, M., Samuel, D. G., & Isobe, Y. (2009). The Stable Revivals Model in CSP-Prover. Electronic Notes in Theoretical Computer Science, 250(2), p. 119. doi:10.1016/j.entcs.2009.08.021

Chicago Style Citation

Roggenbach, Markus, D. Gift Samuel, and Yoshinao Isobe. "The Stable Revivals Model in CSP-Prover." Electronic Notes in Theoretical Computer Science 250, no. 2 (2009): 119.

MLA Citation

Roggenbach, Markus, D. Gift Samuel, and Yoshinao Isobe. "The Stable Revivals Model in CSP-Prover." Electronic Notes in Theoretical Computer Science 250.2 (2009): 119.

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