Lower and upper bounds in zone based abstractions of timed automata

Gerd Behrmann, Patricia Bouyer, K.G. Larsen, Radek Pelánek

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    34 Citations (Scopus)
    51 Downloads (Pure)
    Original languageEnglish
    Title of host publicationTools and algorithms for the construction and analysis of systems
    Place of PublicationBerlin
    PublisherSpringer
    Pages312-326
    ISBN (Print)3-540-21299-X
    Publication statusPublished - 29 Mar 2004
    Event10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2004 - Barcelona, Spain
    Duration: 29 Mar 20042 Apr 2004
    Conference number: 10

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Verlag
    NumberXIV
    Volume2988
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Conference

    Conference10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2004
    Abbreviated titleTACAS
    CountrySpain
    CityBarcelona
    Period29/03/042/04/04

    Keywords

    • METIS-223932
    • IR-51011

    Cite this