scheck

Timo Latvala

    Research output: Artistic and non-textual form › Software › Scientific

    Original languageEnglish
    Editionversio 1.2
    Publication statusPublished - 2004
    MoE publication typeI2 ICT applications

    Keywords

    • finite automata
    • LTL
    • safety properties

    Other files and links

    Cite this