Comparing Formal Verification Approaches of Interlocking Systems
| Date first appeared online | 15/06/2015 |
| DOI | 10.1007/978-3-319-33951-1_12 |
| Authors | Nguyen H., Roggenbach M. |
| Journal Name | Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification |
| Volume |