Login
Document type:
Vortrag / Presentation
Title:
C3A: Client/Server Co-Verification for Cloud Applications
Conference title:
USENIX Symposium Operating Systems Design and Implementation (10., 2012, Hollywood, CA)
Conference title:
10th USENIX Symposium Operating Systems Design and Implementation (OSDI)
Venue:
Hollywood, California
Year of conference:
2012
Date of conference beginning:
08.10.2012
Date of conference ending:
10.10.2012
Year:
2012
Language:
Englisch
Open Access yes or no?:
Nein / No
Miscellaneous:
Posterpräsentation
BibTeX