Verification of Solid State Interlocking Programs.

Phillip James, Andy Lawrence, Faron Moller, Markus Roggenbach, Monika Seisenberger, Anton Setzer, Karim Kanso, Simon Chadwick

Browse the full SEFM paper archive.