Randall A. Cieslak

EECS Department, University of California, Berkeley

1988

Advisors: Pravin P. Varaiya

---

BibTeX citation:

@phdthesis{Cieslak:7740,
    Author= {Cieslak, Randall A.},
    Title= {Undecidability Results and Real-Time Semantics for Finitely Recursive Processes},
    School= {EECS Department, University of California, Berkeley},
    Year= {1988},
}

EndNote citation:

%0 Thesis
%A Cieslak, Randall A. 
%T Undecidability Results and Real-Time Semantics for Finitely Recursive Processes
%I EECS Department, University of California, Berkeley
%D 1988
%F Cieslak:7740