Preliminary Proceedings of the 3rd International Workshop on Models for Time-Critical Systems

W. Vogler, K.G. Larsen

    Research output: Book/ReportBook editingAcademic

    Original languageEnglish
    Place of PublicationEnschede
    PublisherBRICS
    Publication statusPublished - 2002

    Publication series

    NameMTCS 02
    No.NS-02-3

    Keywords

    • METIS-211581

    Cite this