APA Citation

James, P., Moller, F., & Roggenbach, M. (2023). Software Model Checking of Interlocking Programs. Lecture Notes in Computer Science, 14165, pp. 130-146. doi:10.1007/978-3-031-40132-9_9

Chicago Style Citation

James, Phillip, Faron Moller, and Markus Roggenbach. "Software Model Checking Of Interlocking Programs." Lecture Notes in Computer Science 14165 (2023): 130-146.

MLA Citation

James, Phillip, Faron Moller, and Markus Roggenbach. "Software Model Checking Of Interlocking Programs." Lecture Notes in Computer Science 14165 (2023): 130-146.

Warning: These citations may not always be 100% accurate.