APA (7th ed.) Citation

Lukács, G., & Bartha, T. (2024). Verification of Railway Control Systems Using Model Checking and CTL, Explained Through a Case Study. Periodica Polytechnica: Transportation Engineering, 52(4), 402. https://doi.org/10.3311/PPtr.23344

Chicago Style (17th ed.) Citation

Lukács, Gábor, and Tamás Bartha. "Verification of Railway Control Systems Using Model Checking and CTL, Explained Through a Case Study." Periodica Polytechnica: Transportation Engineering 52, no. 4 (2024): 402. https://doi.org/10.3311/PPtr.23344.

MLA (9th ed.) Citation

Lukács, Gábor, and Tamás Bartha. "Verification of Railway Control Systems Using Model Checking and CTL, Explained Through a Case Study." Periodica Polytechnica: Transportation Engineering, vol. 52, no. 4, 2024, p. 402, https://doi.org/10.3311/PPtr.23344.