DTU users get better search results including licensed content and discounts on order fees.
Anyone can log in and get personalized features such as favorites, tags and feeds.
Interpreted as:
title:(Modelling AND and AND Verification AND of AND Interlocking AND Systems AND for AND Railway AND Lines)
Suggestions: Include records that partially match the query
Modelling and Verification of Interlocking Systems for Railway Lines 10.1016/S1474-6670(17)32425-4
Ifac Proceedings Volumes — 2003, Volume 36, Issue 14, pp. 233-238
Year: 2003
Language: English
Modelling and Verification of Interlocking Systems for Railway Lines
Proceedings of the 10th Ifac Symposium on Control in Transportation Systems — 2004
Year: 2004
Language: English