TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Jump to: 2017 | 2012
Number of items: 2.

2017

Whitefield, Jorden and Chen, Liqun and Kargl, Frank and Paverd, Andrew and Schneider, Steve and Treharne, Helen and Wesemeyer, Stephan (2017):
Formal Analysis of V2X Revocation Protocols.
In: Security and Trust Management _ 13th International Workshop, STM 2017, Proceedings,
ISBN 9783319680620,
DOI: 10.1007/978-3-319-68063-7_10,
[Conference or Workshop Item]

2012

Ji, Ran and Bubel, Richard Derrick, John and Gnesi, Stefania and Latella, Diego and Treharne, Helen (eds.) (2012):
PE-KeY: A Partial Evaluator for Java Programs.
In: Lecture Notes in Computer Science, 7321, In: Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, pp. 283-295,
Springer-Verlag, ISBN 978-3-642-30728-7,
DOI: 10.1007/978-3-642-30729-4_20,
[Conference or Workshop Item]

This list was generated on Sat Feb 27 00:40:29 2021 CET.