Automated Verification of Signalling Principles in Railway Interlocking Systems
Date first appeared online | 01/09/2009 |
DOI | 10.1016/j.entcs.2009.08.015 |
Authors | Setzer A. |
Journal Name | Electronic Notes in Theoretical Computer Science |
Volume | 250 |
Documents
- avocs08.pdf , Book