scheck, versio 1.1

Timo Latvala

    Tutkimustuotos: Taiteellinen julkaisu ja ICT-julkaisu › Software › Scientific

    AlkuperäiskieliEnglanti
    TilaJulkaistu - 2003
    OKM-julkaisutyyppiI2 Tieto- ja viestintätekniset sovellukset

    Tutkimusalat

    • finite automata
    • LTL
    • pathologic formulas

    Muut tiedostot ja linkit

    Siteeraa tätä