Towards the mechanical verification of moving block signalling systems
A. C. Simpson
Details
| Institution |
School of Computing and Mathematical Sciences‚ Oxford Brookes University |
| Number |
CMS−TR−99−06 |
| Year |
1999 |
Links
Related pages
|
People |