APA (7th ed.) Citation

Fernández Venero, M., & Corrêa da Silva, F. (2017). Model checking multi-level and recursive nets. Software & Systems Modeling, 16(4), 1117. https://doi.org/10.1007/s10270-015-0509-6

Chicago Style (17th ed.) Citation

Fernández Venero, Mirtha, and Flávio Corrêa da Silva. "Model Checking Multi-level and Recursive Nets." Software & Systems Modeling 16, no. 4 (2017): 1117. https://doi.org/10.1007/s10270-015-0509-6.

MLA (9th ed.) Citation

Fernández Venero, Mirtha, and Flávio Corrêa da Silva. "Model Checking Multi-level and Recursive Nets." Software & Systems Modeling, vol. 16, no. 4, 2017, p. 1117, https://doi.org/10.1007/s10270-015-0509-6.