Exportar registro bibliográfico

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


Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2021