Downloadable Content

Download PDF
Analytics

Cochran_unc_0153D_16579.pdf Public

File Details

Depositor
rkati
Date Uploaded
Date Modified
2019-04-12
Fixity Check
Fixity checks have not yet been run on this object
Characterization
File Format: pdf (Portable Document Format)
File Title: Symbolic Verification of Client Behavior in Distributed Systems
Page Count: 135
File Size: 5660757
Original Checksum: dccd5d8793a14dffb3b5d08363d64f9f
Mime Type: application/pdf
User Activity Date
User rkati@ad.unc.edu has attached Cochran_unc_0153D_16579.pdf to Symbolic Verification of Remote Client Behavior in Distributed Systems April 12th, 2019 04:23