No Cover Image

Conference Paper/Proceeding/Abstract 417 views 13 downloads

Specifying railway interlocking systems / Anton, Setzer

Pages: 233 - 236

Swansea University Author: Anton, Setzer

Published: Swansea University 2009
Tags: Add Tag
No Tags, Be the first to tag this record!
Item Description: In AVoCS'09 - Preproceedings of the Ninth International Workshop on Automated Verification of Critical Systems, Gregynog, UK. Technical Report of Computer Science CSR-2-2009
College: College of Science
Start Page: 233
End Page: 236