Exportar registro bibliográfico

Differential predicate transition petri nets and objects, an aid for proving properties in hybrid systems (2003)


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