Sergio Vale Aguiar Campos

Thesis Title: A Quantitative Approach to the Formal Verification of Real-Time Systems
Degree Type: Ph.D. in Computer Science
Advisor(s): Edmund Clarke
Graduated: December 1996