Ver registro no DEDALUS
Exportar registro bibliográfico

Structural testing for semaphore-based multithread programs (2008)