Visualising Larger State Spaces in ProB.

MLA

Treharne, Helen, et al. “Visualising Larger State Spaces in ProB.” ZB 2005: Formal Specification & Development in Z & B, 2005, pp. 6–23. EBSCOhost, https://doi.org/10.1007/11415787_2.

APA

Treharne, H., King, S., Henson, M., Schneider, S., Leuschel, M., & Turner, E. (2005). Visualising Larger State Spaces in ProB. In ZB 2005: Formal Specification & Development in Z & B (pp. 6–23). https://doi.org/10.1007/11415787_2

Chicago

Treharne, Helen, Steve King, Martin Henson, Steve Schneider, Michael Leuschel, and Edd Turner. 2005. “Visualising Larger State Spaces in ProB.” In ZB 2005: Formal Specification & Development in Z & B, 6–23. doi:10.1007/11415787_2.