MARIA - Modular Reachability Analyser

Marko Mäkelä; Timo Latvala; Kimmo Varpaaniemi

MARIA - Modular Reachability Analyser

Marko Mäkelä, Timo Latvala, Kimmo Varpaaniemi

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

Original language	English
Edition	Versio 1.3.4
Publication status	Published - 2004
MoE publication type	I2 ICT applications

Keywords

modular state space exploration
nested modular nets

Cite this

@misc{cbf05a5e18864c7da62d06ce19f2683f,

title = "MARIA - Modular Reachability Analyser",

keywords = "modular state space exploration, nested modular nets, modular state space exploration, nested modular nets, modular state space exploration, nested modular nets",

author = "Marko M{\"a}kel{\"a} and Timo Latvala and Kimmo Varpaaniemi",

year = "2004",

language = "English",

edition = "Versio 1.3.4",

}

TY - ADVS

T1 - MARIA - Modular Reachability Analyser

AU - Mäkelä, Marko

AU - Latvala, Timo

AU - Varpaaniemi, Kimmo

PY - 2004

Y1 - 2004

KW - modular state space exploration

KW - nested modular nets

KW - modular state space exploration

KW - nested modular nets

KW - modular state space exploration

KW - nested modular nets

UR - http://www.tcs.hut.fi/Software/maria/

M3 - Software

ER -

MARIA - Modular Reachability Analyser

Keywords

Other files and links

Cite this