Vijay K. Garg

EECS Department, University of California, Berkeley

1988

Advisors: C. V. Ramamoorthy


BibTeX citation:

@phdthesis{Garg:8400,
    Author= {Garg, Vijay K.},
    Title= {Specification and Analysis of Distributed Systems with a Large Number of Processes},
    School= {EECS Department, University of California, Berkeley},
    Year= {1988},
}

EndNote citation:

%0 Thesis
%A Garg, Vijay K. 
%T Specification and Analysis of Distributed Systems with a Large Number of Processes
%I EECS Department, University of California, Berkeley
%D 1988
%F Garg:8400