[Go Back].
Note that this material is copyrighted. The printed version bears the following notice:
Copyright © 1996, Laboratory for Foundations of Computer Science, University of Edinburgh. All rights reserved.

Reproduction of all or part of this work is permitted for educational or research use on condition that this copyright is included in any copy.

Well, that's just the printed copy. You can freely use this online material as long as you use the proper citation:

M.J.Morley Safety Assurance in Interlocking Design. PhD thesis, University of Edinburgh, 1996.
Matthew Morley, Edinburgh. Date: 29 November, 1998