Jerry Burch

Thesis Title: Trace Algebra for Automatic Verification of Real-Time Concurrent Systems
Degree Type: Ph.D. in Computer Science
Advisor(s): Edmund Clarke
Graduated: August 1992