DMCA

Techniques for modelling and verifying railway interlockings (2014)

by Phillip James , Faron Moller , Hoang Nga Nguyen , Markus Roggenbach , Steve Schneider , Helen Treharne
Citations:3 - 3 self