Contribucion al analisis del espacio de estados de especificaciones lotos.

Tesis doctoral de David Larrabeiti López La primera fase en la mayoria de los algoritmos de validacion y verificacion de […]

, , , , ,