A Randomized Testbench for Algorithms Translating Linear Temporal Logic Formulae into Büchi Automata

H. Tauriainen

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

    AlkuperäiskieliEnglanti
    OtsikkoConcurrency, Specification and Programming (CS&P'99), Warsaw, Poland, 28.-30.9.1999
    ToimittajatH-D. Burkhard, L. Czaja, H-S. Nguyen, P. Starke
    JulkaisupaikkaWarsaw, Poland
    Sivut251-262
    TilaJulkaistu - 1999
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa

    Tutkimusalat

    • algorithm testing
    • büchi automata
    • linear temporal logic

    Siteeraa tätä