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

    Jifeng, H., Hoare, C. A. R., Fränzle, M., Müller-Olm, M., Olderog, E-RÜ., Schenke, M., Hansen, M. R., Ravn, A. P., Rischel, H., Langmaack, H. (Ed.), Vytopil, J. (Ed.), & de Roever, W-P. (Ed.) (1994). Provably correct systems. In Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT 94) (pp. 288-335). Springer Verlag.