Método para la verificación de sistemas híbridos basado en la propagación de etiquetas

Aquesta tesi apareix a les col·leccions següents