Provably correct systems

He Jifeng, Charles A. R. Hoare, Martin Fränzle, Markus Müller-Olm, Ernst-RÜdiger Olderog, Michael Schenke, Michael Reichhardt Hansen, Anders P. Ravn, Hans Rischel, H. Langmaack (Editor), J. Vytopil (Editor), W.-P. de Roever (Editor)

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

    Original languageEnglish
    Title of host publicationFormal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT 94)
    PublisherSpringer Verlag
    Publication date1994
    Pages288-335
    Publication statusPublished - 1994
    EventFormal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT 94) -
    Duration: 1 Jan 1994 → …

    Conference

    ConferenceFormal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT 94)
    Period01/01/1994 → …

    Cite this