Exportar registro bibliográfico

Validation of statecharts based on programmed execution (1995)


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