%0 Journal Article %1 journals/infsof/MasieroMB94 %A Masiero, Paulo César %A Maldonado, José Carlos %A Boaventura, Inês A. G. %D 1994 %J Inf. Softw. Technol. %K dblp %N 10 %P 615-624 %T A reachability tree for statecharts and analysis of some properties. %U http://dblp.uni-trier.de/db/journals/infsof/infsof36.html#MasieroMB94 %V 36

@article{journals/infsof/MasieroMB94, added-at = {2024-01-11T00:00:00.000+0100}, author = {Masiero, Paulo César and Maldonado, José Carlos and Boaventura, Inês A. G.}, biburl = {https://www.bibsonomy.org/bibtex/2f3a464f11e3f0edf5ee832525ba272b0/dblp}, ee = {https://doi.org/10.1016/0950-5849(94)90021-3}, interhash = {9bc5a587bef0c59ec407b5b9c57f935c}, intrahash = {f3a464f11e3f0edf5ee832525ba272b0}, journal = {Inf. Softw. Technol.}, keywords = {dblp}, number = 10, pages = {615-624}, timestamp = {2024-04-09T04:47:48.000+0200}, title = {A reachability tree for statecharts and analysis of some properties.}, url = {http://dblp.uni-trier.de/db/journals/infsof/infsof36.html#MasieroMB94}, volume = 36, year = 1994 }