Incremental Language Inclusion Checking for Networks of vTimed Automata

Willibald Krenn (Speaker), Dejan Nickovic, Loredana Tec

    Research output: Chapter in Book or Conference ProceedingsConference Proceedings with Oral Presentationpeer-review

    Original languageEnglish
    Title of host publicationFormal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013
    PublisherSpringer
    Pages152-167
    Number of pages16
    ISBN (Print)978-3-642-40228-9
    Publication statusPublished - 2013
    EventFORMATS 2013 -
    Duration: 29 Aug 201331 Aug 2013

    Conference

    ConferenceFORMATS 2013
    Period29/08/1331/08/13

    Research Field

    • Former Research Field - Digital Safety and Security

    Cite this