This file was created by the TYPO3 extension
bib
--- Timezone: CEST
Creation date: 2024-04-25
Creation time: 10-50-34
--- Number of references
2
inproceedings
2013-sec-routing-switching-maki
A Blueprint for Switching Between Secure Routing Protocols in Wireless Multihop Networks
2013
6
4
Proceedings of the 4th IEEE International Workshop on Data Security and Privacy in Wireless Networks (D-SPAN 2013)
accepted
1
MarcWerner
JörgKaiser
MatthiasHollick
EliasWeingaertner
KlausWehrle
inproceedings
2012-wripe-sasnauskas-symnet
Integration Testing of Protocol Implementations using Symbolic Distributed Execution
2012
10
6 S.
kleenet
fileadmin/papers/2012/2012-09-wripe-sasnauskas-SymNet.pdf
Print Online
Piscataway, NJ, USA
The 2nd International Workshop on Rigorous Protocol Engineering (WRiPE 2012), 30 October - 02 November 2012, Austin, TX, USA
IEEE
Austin, TX, USA
The 2nd International Workshop on Rigorous Protocol Engineering (WRiPE 2012)
October 30 - November 02 2012
en
978-1-4673-2445-8
10.1109/ICNP.2012.6459940
1
RaimondasSasnauskas
PhilippKaiser
Russ LucasJukić
KlausWehrle