The Specification and Execution of Heterogeneous Synchronous Reactive Systems

Stephen A. Edwards

EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M97/31
May 1997

http://www2.eecs.berkeley.edu/Pubs/TechRpts/1997/ERL-97-31.pdf

Advisor: Edward A. Lee


BibTeX citation:

@phdthesis{Edwards:M97/31,
    Author = {Edwards, Stephen A.},
    Title = {The Specification and Execution of Heterogeneous Synchronous Reactive Systems},
    School = {EECS Department, University of California, Berkeley},
    Year = {1997},
    Month = {May},
    URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1997/3235.html},
    Number = {UCB/ERL M97/31}
}

EndNote citation:

%0 Thesis
%A Edwards, Stephen A.
%T The Specification and Execution of Heterogeneous Synchronous Reactive Systems
%I EECS Department, University of California, Berkeley
%D 1997
%@ UCB/ERL M97/31
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1997/3235.html
%F Edwards:M97/31