Volver a los detalles del artículo
Aplicando paralelismo a un algoritmo de bisimulación para mejorar la eficiencia de pruebas de software de sistemas de tiempo crítico
Descargar
Descargar PDF