I. G. Boaventura

Publication Activity (10 Years)

Years Active: 1994-1994
Publications (10 Years): 0

Publications

Paulo Cesar Masiero, José Carlos Maldonado, I. G. Boaventura
A reachability tree for statecharts and analysis of some properties. Inf. Softw. Technol. 36 (10) (1994)