Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
TECHNIQUES FOR AUTOMATIC VERIFICATION OF REAL-TIME SYSTEMS
 

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