About

Log in?

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.

Log in as DTU user Log in as non-DTU user No thanks

DTU Findit

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

Filter results
Access
Type
Language
Year
From DTU
Advanced
1 Journal article

Modelling and Verification of Interlocking Systems for Railway Lines

Year: 2003

Language: English

hgmicpo jfndkeba l
2 Conference paper

Modelling and Verification of Interlocking Systems for Railway Lines

Gjaldbæk, T.; Haxthausen, Anne Elisabeth

Proceedings of the 10th Ifac Symposium on Control in Transportation Systems — 2004

Year: 2004

Language: English

l fiencdokpjahg mb

DTU users get better search results including licensed content and discounts on order fees.

Log in as DTU user