Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT98)

Anders P. Ravn (Editor), Hans Rischel (Editor)

    Research output: Book/ReportBook

    Abstract

    Proceedings of the 5th International Symposium
    Original languageEnglish
    Place of PublicationBerlin
    PublisherSpringer
    Number of pages338
    Publication statusPublished - 1998
    Event5th International Symposium Formal Techniques in Real-Time and Fault-Tolerant Systems - Kgs. Lyngby, Denmark
    Duration: 14 Sep 199818 Sep 1998
    Conference number: 5
    http://www.informatik.uni-trier.de/~ley/db/conf/ftrtft/ftrtft1998.html

    Conference

    Conference5th International Symposium Formal Techniques in Real-Time and Fault-Tolerant Systems
    Number5
    CountryDenmark
    CityKgs. Lyngby
    Period14/09/199818/09/1998
    Internet address

    Cite this