Blättern nach Person
 | Ebene hoch |
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
Drucken
Impressum