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
A. C. Simpson