Model Checking for Interlocking Safety
A. C. Simpson
Book Title
Proceedings of the 2nd FMERail Seminar‚ 15–16 October 1998‚ London‚ United Kingdom
Year
1998
A. C. Simpson