Ver registro no DEDALUS
Exportar registro bibliográfico

Coloured petri nets: safety analysis using mutation testing (2003)