Herramientas Personales
Usted está aquí: Inicio Investigación Charlas del DC Próxima charla del DC: Viernes 1/4/2011 - 15hs. Pedro D'Argenio (FAMAF, Córdoba) - Model Checking of Distributed Probabilistic Systems

Próxima charla del DC: Viernes 1/4/2011 - 15hs. Pedro D'Argenio (FAMAF, Córdoba) - Model Checking of Distributed Probabilistic Systems

Acciones de Documento