Ver registro no DEDALUS
Exportar registro bibliográfico

Timed Petri nets (2012)