Skip to main content

Towards the mechanical verification of moving block signalling systems

A. C. Simpson

Institution
School of Computing and Mathematical Sciences‚ Oxford Brookes University
Number
CMS−TR−99−06
Year
1999