Verification of Solid State Interlocking Programs
| Date first appeared online | 08/03/2014 |
| DOI | 10.1007/978-3-319-05032-4_19 |
| Authors | James P., Setzer A. |
| Journal Name | Software Engineering and Formal Methods |
| Volume | 8368 |
| Date first appeared online | 08/03/2014 |
| DOI | 10.1007/978-3-319-05032-4_19 |
| Authors | James P., Setzer A. |
| Journal Name | Software Engineering and Formal Methods |
| Volume | 8368 |