According to our database1, Klaus Reichl authored at least 4 papers between 2016 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Introduction to special section on the ABZ 2018 case study: Hybrid ERTMS/ETCS Level 3.
Int. J. Softw. Tools Technol. Transf., 2020
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017
Proceedings of the Tests and Proofs - 10th International Conference, 2016