TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Anzahl der Einträge: 2.

Konferenzveröffentlichung

Whitefield, Jorden ; Chen, Liqun ; Kargl, Frank ; Paverd, Andrew ; Schneider, Steve ; Treharne, Helen ; Wesemeyer, Stephan (2017)
Formal Analysis of V2X Revocation Protocols.
doi: 10.1007/978-3-319-68063-7_10
Konferenzveröffentlichung, Bibliographie

Ji, Ran ; Bubel, Richard
Hrsg.: Derrick, John ; Gnesi, Stefania ; Latella, Diego ; Treharne, Helen (2012)
PE-KeY: A Partial Evaluator for Java Programs.
doi: 10.1007/978-3-642-30729-4_20
Konferenzveröffentlichung, Bibliographie

Diese Liste wurde am Tue Mar 26 02:25:31 2024 CET generiert.