A Duration Semantics for Real-Time Reactive Systems

Michael Reichhardt Hansen, E.-R. Olderog, M. Schenke, Martin Fränzle, B. von Karger, M. Müller-Olm, Hans Rischel

    Research output: Book/ReportReportpeer-review

    Original languageEnglish
    PublisherReport no. OLD MRH 1/1, ProCoS ESPRIT BRA 7071, Oldenburg University, Germany
    Publication statusPublished - 1993

    Cite this