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