APA (7th ed.) Citation

Basile, D., ter Beek, M. H., Ferrari, A., & Legay, A. (2022). Exploring the ERTMS/ETCS full moving block specification: An experience with formal methods. International Journal on Software Tools for Technology Transfer, 24(3), 351. https://doi.org/10.1007/s10009-022-00653-3

Chicago Style (17th ed.) Citation

Basile, Davide, Maurice H. ter Beek, Alessio Ferrari, and Axel Legay. "Exploring the ERTMS/ETCS Full Moving Block Specification: An Experience with Formal Methods." International Journal on Software Tools for Technology Transfer 24, no. 3 (2022): 351. https://doi.org/10.1007/s10009-022-00653-3.

MLA (9th ed.) Citation

Basile, Davide, et al. "Exploring the ERTMS/ETCS Full Moving Block Specification: An Experience with Formal Methods." International Journal on Software Tools for Technology Transfer, vol. 24, no. 3, 2022, p. 351, https://doi.org/10.1007/s10009-022-00653-3.