Verification of the European Rail Traffic Management System in Real-Time Maude

Date first appeared online	07/11/2017
DOI	10.1016/j.scico.2017.10.011
Authors	Berger U., James P., Roggenbach M., Seisenberger M.
Journal Name	Science of Computer Programming
Volume	154

Documents

• journalpaper.pdf , Book, Released under the terms of a Creative Commons Attribution Non-Commercial No Derivatives License (CC-BY-NC-ND).