Dynamic properties of statecharts a reachability tree and analysis of some properties
Paulo Cesar Masiero I G Boaventura; José Carlos Maldonado; Conferencia Latinoamericana de Informatica (18. 1992 Las Palmas)
Actas Espanha : Universidad de las Palmas, 1992Espanha Universidad de las Palmas 1992
Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-835927 ) e outros locais(Acessar)