res_practmodelcheking []

¡Esta es una revisión vieja del documento!

PROGRAMACIÓN CONCURRENTE Ingeniería Informática Curso 09-10

Resultados de la corrección de la práctica sobre “Model checking” (07/06/10-13:10)

Nota: En caso de duda, hay que ponerse en contacto con

    Miguel Ángel Latre (latre [at] unizar.es) 
    Joaquín Ezpeleta (ezpeleta [at] unizar.es)
    María José Ibáñez (mjibanez [at] unizar.es)

NIP Nota — —- 534608 9.5 538465 9.5 529710 NP 548967 9 523485 7 563827 9 537148 8.5

res_practmodelcheking.1275995813.txt.gz · Última modificación: 2010/06/08 11:16 por ezpeleta

Volver arriba