Train Maintenance Routing

Martin Penicka, Albena Kirilova Strupchanska, Dines Bjørner

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationFORMS2003 - Symposium on Formal Methods for Railway Operation and Control Systems15-16 May, Budapest, Hungary
    PublisherL'Harmattan Hongrie
    Publication date2003
    Publication statusPublished - 2003

    Cite this