University of Oxford Logo University of OxfordDepartment of Computer Science - Home
Linked in
Linked in
Follow us on twitter
Twitter
On Facebook
Facebook
Instagram
Instagram

Model Checking for Interlocking Safety

A. C. Simpson

Details

Book Title

Proceedings of the Second FMERail Seminar‚ 15–16 October 1998‚ London‚ United Kingdom

Year

1998

Links

BibTeX

Related pages

People