This file was created by the TYPO3 extension
bib
--- Timezone: UTC
Creation date: 2024-10-06
Creation time: 20-45-01
--- Number of references
1
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