Ver registro no DEDALUS
Exportar registro bibliográfico

Dynamic properties of statecharts: a reachability tree and analysis of some properties (1992)