Universität der Bundeswehr München: AtheneForschung
Benutzer: Gast
 
Login
de
en
Erweiterte Suche
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Fakultäten (univ.)
(21743)
Fakultäten (HAW)
(1719)
Forschungszentren und -initiativen
(2004)
CISS
(89)
CODE
(842)
dtec.bw
(279)
INDOR
(429)
MARC
(11)
MOVE
(13)
RISK
(265)
SENS
SPACE
(111)
Weitere Einrichtungen
(17)
Projekte
Elektronische Prüfungsarbeiten
Open-Access-Publikationen
Patente
Forschungsdaten
Forschungsprofile
Videos für die UniBw M-Webseite
Digitalisierte Medien
AG E-Learning
Materialien der Universitätsbibliothek
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Forschungszentren und -initiativen
CODE
osdi12poster
Autoren:
Bucur, Stefan; Kinder, Johannes; Candea, George
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
Vorkommen:
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Forschungszentren und -initiativen
CODE
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Fakultäten (univ.)
Fakultät für Informatik
INF 6 - Institut für Systemsicherheit