Nguyen, H., Haxthausen, A. E., & Roggenbach, M. (2015). Comparing Formal Verification Approaches of Interlocking Systems. Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, pp. 160-177. doi:10.1007/978-3-319-33951-1_12
Chicago Style CitationNguyen, Hoang, Anne Elisabeth Haxthausen, and Markus Roggenbach. "Comparing Formal Verification Approaches of Interlocking Systems." Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification 2015: 160-177.
MLA CitationNguyen, Hoang, Anne Elisabeth Haxthausen, and Markus Roggenbach. "Comparing Formal Verification Approaches of Interlocking Systems." Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification 2015: 160-177.