APA (7th ed.) Citation

van Laarhoven, J. E. P. M., Bunte, O., van Gool, L. C. M., & Willemse, T. A. C. (2025). Formalising and analysing SMMT models using the mCRL2 toolset. International Journal on Software Tools for Technology Transfer, 27(5), 511. https://doi.org/10.1007/s10009-025-00829-7

Chicago Style (17th ed.) Citation

van Laarhoven, J. E. P. M., O. Bunte, L. C. M. van Gool, and T. A. C. Willemse. "Formalising and Analysing SMMT Models Using the MCRL2 Toolset." International Journal on Software Tools for Technology Transfer 27, no. 5 (2025): 511. https://doi.org/10.1007/s10009-025-00829-7.

MLA (9th ed.) Citation

van Laarhoven, J. E. P. M., et al. "Formalising and Analysing SMMT Models Using the MCRL2 Toolset." International Journal on Software Tools for Technology Transfer, vol. 27, no. 5, 2025, p. 511, https://doi.org/10.1007/s10009-025-00829-7.