Ver registro no DEDALUS
Exportar registro bibliográfico

A petri-net based object-oriented approach for the modelling and analysis of hybrid systems (2004)