% % This file was created by the TYPO3 extension % bib % --- Timezone: UTC % Creation date: 2024-11-12 % Creation time: 03-07-58 % --- 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} }