Original language | English |
---|---|
Title of host publication | Proceedings of the 10th IFAC Symposium on Control in Transportation Systems |
Publisher | Elsevier |
Publication date | 2004 |
ISBN (Print) | 00-80-44059-2 |
Publication status | Published - 2004 |
Modelling and Verification of Interlocking Systems for Railway Lines
T. Gjaldbæk, Anne Elisabeth Haxthausen
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review