Ver registro no DEDALUS
Exportar registro bibliográfico

Modeling and simulating interaction protocols using nested Petri nets (2014)