Bounded Model Checking of an MITL Fragment for Timed Automata

Roland Kindermann, Tommi Junttila, Ilkka Niemelä

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

    9 Sitaatiot (Scopus)
    AlkuperäiskieliEnglanti
    Otsikko13th International Conference on Application of Concurrency to System Design (ACSD), July 8-10, Barcelona, Spain
    KustantajaIEEE
    Sivut216-225
    ISBN (elektroninen)978-0-7695-5035-0
    DOI - pysyväislinkit
    TilaJulkaistu - 2013
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa

    Julkaisusarja

    Nimi
    KustantajaIEEE
    ISSN (painettu)1550-4808

    Siteeraa tätä