MARIA - Modular Reachability Analyser

Marko Mäkelä; Timo Latvala; Kimmo Varpaaniemi

MARIA - Modular Reachability Analyser

Marko Mäkelä, Timo Latvala, Kimmo Varpaaniemi

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

Alkuperäiskieli	Englanti
Painos	Versio 1.3.4
Tila	Julkaistu - 2004
OKM-julkaisutyyppi	I2 Tieto- ja viestintätekniset sovellukset

Tutkimusalat

modular state space exploration
nested modular nets

Muut tiedostot ja linkit

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

Siteeraa tätä

@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 -