Relative timing based verification of concurrent systems

Tesis doctoral de Marco Antonio Peña Basurto

Datos académicos de la tesis doctoral «Relative timing based verification of concurrent systems«

• Título de la tesis:  Relative timing based verification of concurrent systems
• Autor:  Marco Antonio Peña Basurto
• Universidad:  Politécnica de catalunya
• Fecha de lectura de la tesis:  29/04/2003

Dirección y tribunal

• Director de la tesis
  • Jordi Cortadella Fortuny
• Tribunal
  • Presidente del tribunal: fernando Orejas valdés
  • gianpiero Cabodi (vocal)
  • supratik Chakraborty (vocal)
  • abelardo Pardo (vocal)