scheck

Timo Latvala

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

    AlkuperäiskieliEnglanti
    Painosversio 1.2
    TilaJulkaistu - 2004
    OKM-julkaisutyyppiI2 Tieto- ja viestintätekniset sovellukset

    Tutkimusalat

    • finite automata
    • LTL
    • safety properties

    Muut tiedostot ja linkit

    Siteeraa tätä