Login
Dokumenttyp:
Vortrag / Presentation
Titel:
C3A: Client/Server Co-Verification for Cloud Applications
Konferenztitel:
USENIX Symposium Operating Systems Design and Implementation (10., 2012, Hollywood, CA)
Konferenztitel:
10th USENIX Symposium Operating Systems Design and Implementation (OSDI)
Tagungsort:
Hollywood, California
Jahr der Konferenz:
2012
Datum Beginn der Konferenz:
08.10.2012
Datum Ende der Konferenz:
10.10.2012
Jahr:
2012
Sprache:
Englisch
Open Access ja oder nein?:
Nein / No
Sonstige Angaben:
Posterpräsentation
BibTeX