Software Model Checking of Interlocking Programs
Book chapter (August 2023)
The most recent citing publications are shown below. View all 3 publications that cite this research output on Dimensions.
Book chapter (August 2023)
Article in South African Computer Journal (December 2020)
Article in Formal Aspects of Computing (February 2020)