Lista de

Verificación de Sistemas Reactivos con Probabilidades
1
Verificación de Sistemas Reactivos con Probabilidades (2002). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación