@inproceedings{a834d3033f384f3ea55bed4d7fa6887b,
title = "Formal Methods for the Specification and Verification of Distributed Railway Control Systems: From Algebraic Specifications to Distributed Hybrid Real-Time Systems",
author = "Haxthausen, {Anne Elisabeth} and J. Peleska",
year = "2000",
language = "English",
pages = "263--271",
booktitle = "Forms '99 Formale Techniken f{\"u}r die Eisenbahnsicherung",
publisher = "VDI-Verlag",
note = "Forms '99 Formale Techniken f{\"u}r die Eisenbahnsicherung ; Conference date: 01-01-2000",
}