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 […]

, , , , ,