APA (7th ed.) Citation

Dobrikov, I., & Leuschel, M. (2016). Optimising the ProB model checker for B using partial order reduction. Formal Aspects of Computing, 28(2), 295. https://doi.org/10.1007/s00165-015-0351-1

Chicago Style (17th ed.) Citation

Dobrikov, Ivaylo, and Michael Leuschel. "Optimising the ProB Model Checker for B Using Partial Order Reduction." Formal Aspects of Computing 28, no. 2 (2016): 295. https://doi.org/10.1007/s00165-015-0351-1.

MLA (9th ed.) Citation

Dobrikov, Ivaylo, and Michael Leuschel. "Optimising the ProB Model Checker for B Using Partial Order Reduction." Formal Aspects of Computing, vol. 28, no. 2, 2016, p. 295, https://doi.org/10.1007/s00165-015-0351-1.