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

Resultados de la corrección de la práctica de Model Checking
(21/05/10-14:48)

Nota: En caso de duda, hay que ponerse en contacto con 
      María José Ibáñez (mjibanez [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
</code>