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