From Railway Resource Planning to Train Operation - a Brief Survey of Complementary Formalisations

Martin Penicka, Dines Bjørner, René Jacquart (Editor)

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

    Abstract

    In: Building the Infomation Society
    Original languageEnglish
    Title of host publicationIFIP 18th World Computer Congress, Toulouse, France
    PublisherKluwer Academic Publishers
    Publication date2004
    Pages629-636
    Publication statusPublished - 2004
    EventIFIP 18th World Computer Congress, Toulouse, France -
    Duration: 1 Jan 2004 → …

    Conference

    ConferenceIFIP 18th World Computer Congress, Toulouse, France
    Period01/01/2004 → …

    Cite this