VAN LAARHOVEN, J. E. P. M., BUNTE, O., VAN GOOL, L. C. M. und WILLEMSE, T. A. C., 2025. Formalising and analysing SMMT models using the m CRL2 toolset. International Journal on Software Tools for Technology Transfer. 1 Oktober 2025. Vol. 27, no. 5, p. 511-532. DOI 10.1007/s10009-025-00829-7.
Elsevier - Harvard (with titles)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 m CRL2 toolset. International Journal on Software Tools for Technology Transfer 27, 511-532. https://doi.org/10.1007/s10009-025-00829-7
American Psychological Association 7th editionvan Laarhoven, J. E. P. M., Bunte, O., van Gool, L. C. M., & Willemse, T. A. C. (2025). Formalising and analysing SMMT models using the m CRL2 toolset. International Journal on Software Tools for Technology Transfer, 27(5), 511-532. https://doi.org/10.1007/s10009-025-00829-7
Springer - Basic (author-date)van Laarhoven JEPM, Bunte O, van Gool LCM, Willemse TAC (2025) Formalising and analysing SMMT models using the m CRL2 toolset.. International Journal on Software Tools for Technology Transfer 27:511-532. https://doi.org/10.1007/s10009-025-00829-7
Juristische Zitierweise (Stüber) (Deutsch)van Laarhoven, J. E. P. M./ Bunte, O./ van Gool, L. C. M./ Willemse, T. A. C., Formalising and analysing SMMT models using the m CRL2 toolset., International Journal on Software Tools for Technology Transfer 2025, 511-532.