Ver registro no DEDALUS
Exportar registro bibliográfico

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