Modeling and verification of randomized distributed real-time systems
Author(s)
Segala, Roberto![Thumbnail](/bitstream/handle/1721.1/36560/33227004-MIT.pdf.jpg?sequence=4&isAllowed=y)
DownloadFull printable version (18.70Mb)
Advisor
Nancy A. Lynch.
Terms of use
Metadata
Show full item recordDescription
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1995. Includes bibliographical references (p. 267-274) and index.
Date issued
1995Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer SciencePublisher
Massachusetts Institute of Technology
Keywords
Electrical Engineering and Computer Science