Sergio Vale Aguiar Campos 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 Abstract Currently Unavailable Thesis Document Currently Unavailable Electronically Return to Degrees List Thesis Repositories SCS Technical Reports Kilthub Proquest (requires CMU login)
