Towards the mechanical verification of moving block signalling systems

Bibliographic Details
Main Author: Simpson, A
Format: Report
Published: School of Computing and Mathematical Sciences‚ Oxford Brookes University 1999