MARIA - Modular Reachability Analyser

Marko Mäkelä, Timo Latvala, Kimmo Varpaaniemi

    Research output: Artistic and non-textual formSoftwareScientific

    Original languageEnglish
    EditionVersio 1.3.4
    Publication statusPublished - 2004
    MoE publication typeI2 ICT software

    Keywords

    • modular state space exploration
    • nested modular nets

    Cite this