The Mechanical Verification of Solid State Interlocking Geographic Data
A. C. Simpson‚ J. C. P. Woodcock and J. W. Davies
Details
| Book Title |
Proceedings of Formal Methods Pacific‚ Wellington‚ New Zealand‚ 9–11 July |
| Editor |
Groves‚ L. and Reeves‚ S. |
| Pages |
223–242 |
| Publisher |
Springer−Verlag |
| Year |
1997 |
Links
Related pages
|
People |