TY - ADVS
T1 - PROD 3.4.00 -saavutettavuusanalyysiohjelmisto
AU - Anderson, Lasse
AU - Helander, Johannes
AU - Heljanko, Keijo
AU - Janhunen, Tomi
AU - Jürgens, Robert
AU - Kangas, Ismo
AU - Nurmela, Kari
AU - Oksanen, Kenneth
AU - Pesonen, Olavi
AU - Rauhamaa, Marko
AU - Reilly, James
AU - Suonsivu, Heikki
AU - Valkealahti, Kimmo
AU - Varpaaniemi, Kimmo
AU - Väisänen, Pauli
PY - 2004
Y1 - 2004
KW - computation tree logic
KW - linear time temporal logic
KW - on-the-fly verification
KW - predicate/transition nets
KW - priorities
KW - reachability analysis
KW - stubborn set method
KW - computation tree logic
KW - linear time temporal logic
KW - on-the-fly verification
KW - predicate/transition nets
KW - priorities
KW - reachability analysis
KW - stubborn set method
KW - computation tree logic
KW - linear time temporal logic
KW - on-the-fly verification
KW - predicate/transition nets
KW - priorities
KW - reachability analysis
KW - stubborn set method
UR - http://www.tcs.hut.fi/Software/prod/
M3 - Software
ER -