Upcoming maintenance: ProQuest will be unavailable 10:00 PM ET Saturday, Jul 13 - 6:00 AM ET Sunday, Jul 14. ReadMore
Document Preview

Debugging and verification of infinite state real -time systems

Dang, Zhe.   University of California, Santa Barbara ProQuest Dissertations & Theses,  2000. 3013209.