No Cover Image

Book chapter 1181 views

Verification of Solid State Interlocking Programs

Phillip James, Andy Lawrence, Faron Moller Orcid Logo, Markus Roggenbach, Monika Seisenberger Orcid Logo, Anton Setzer, Karim Kanso, Simon Chadwick

Software Engineering and Formal Methods, Volume: 8368, Pages: 253 - 268

Swansea University Authors: Faron Moller Orcid Logo, Monika Seisenberger Orcid Logo

Full text not available from this repository: check for access using links below.

DOI (Published version): 10.1007/978-3-319-05032-4_19

Published in: Software Engineering and Formal Methods
ISBN: 978-3-319-05031-7978-3-319-05032-4
Published: Springer 2014
Tags: Add Tag
No Tags, Be the first to tag this record!
College: Faculty of Science and Engineering
Start Page: 253
End Page: 268