Record Details

Title:
Applying formal methods to distributed algorithms using local-global relations / Jerome White ; K. Mandy Chandy, advisor ; Richard M. Murray, committee chair
Author(s):
Imprint:
Pasadena, Calif. : California Institute of Technology, c2011
Description:
vii, 167 leaves : ill. (mostly col.) ; 28 cm
Subject(s):
Series:
[CIT theses] ; 2011
Note:
Advisor and committee chair names found in the thesis' metadata record in the digital repository
Dissertation note:
Thesis (Ph. D.) -- California Institute of Technology, 2011
Bibliography, etc. note:
Includes bibliographical references (leaves 156-167). 100
Record appears in:


Holdings
Options Library Call no Location Description Item type Status Due date
Offsite Storage THESIS Offsite storage c.1 Thesis Archival copy -


Export


 Record created 2015-09-18, last modified 2016-11-02


Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)