% 
% This file was created by the TYPO3 extension
% bib
% --- Timezone: CEST
% Creation date: 2024-04-19
% Creation time: 07-28-20
% --- Number of references
% 1
% 

@Inproceedings { 2012-wripe-sasnauskas-symnet,
   title = {Integration Testing of Protocol Implementations using Symbolic Distributed Execution},
   year = {2012},
   month = {10},
   pages = {6 S.},
   tags = {kleenet},
   url = {fileadmin/papers/2012/2012-09-wripe-sasnauskas-SymNet.pdf},
   misc2 = {Print Online},
   address = {Piscataway, NJ, USA},
   booktitle = {The 2nd International Workshop on Rigorous Protocol Engineering (WRiPE 2012), 30 October - 02 November 2012, Austin, TX, USA},
   organization = {IEEE},
   event_place = {Austin, TX, USA},
   event_name = {The 2nd International Workshop on Rigorous Protocol Engineering (WRiPE 2012)},
   event_date = {October 30 - November 02 2012},
   language = {en},
   ISBN = {978-1-4673-2445-8},
   DOI = {10.1109/ICNP.2012.6459940},
   reviewed = {1},
   author = {Sasnauskas, Raimondas and Kaiser, Philipp and Jukić, Russ Lucas and Wehrle, Klaus}
}