Summary: TECHNIQUES FOR AUTOMATIC VERIFICATION OF
REAL-TIME SYSTEMS
a dissertation
submitted to the department of computer science
and the committee on graduate studies
of stanford university
in partial fulfillment of the requirements
for the degree of
doctor of philosophy
By
Rajeev Alur
August 1991
c Copyright 1991 by Rajeev Alur
All Rights Reserved
ii
I certify that I have read this dissertation and that in my
opinion it is fully adequate, in scope and in quality, as a
dissertation for the degree of Doctor of Philosophy.
David Dill
(Principal Advisor)

Source: Alur, Rajeev - Department of Computer and Information Science, University of Pennsylvania

Collections: Computer Technologies and Information Sciences