%0 Conference Paper %1 conf/icccn/SongMCP11 %A Song, JaeSeung %A Ma, Tiejun %A Cadar, Cristian %A Pietzuch, Peter R. %B ICCCN %D 2011 %E Wang, Haohong %E Li, Jin %E Rouskas, George N. %E Zhou, Xiaobo %I IEEE %K dblp %P 1-8 %T Rule-Based Verification of Network Protocol Implementations Using Symbolic Execution. %U http://dblp.uni-trier.de/db/conf/icccn/icccn2011.html#SongMCP11 %@ 978-1-4577-0637-0

@inproceedings{conf/icccn/SongMCP11, added-at = {2016-11-17T00:00:00.000+0100}, author = {Song, JaeSeung and Ma, Tiejun and Cadar, Cristian and Pietzuch, Peter R.}, biburl = {https://www.bibsonomy.org/bibtex/29812ad21a3b2752c1bab98dd6fba29ac/dblp}, booktitle = {ICCCN}, crossref = {conf/icccn/2011}, editor = {Wang, Haohong and Li, Jin and Rouskas, George N. and Zhou, Xiaobo}, ee = {http://dx.doi.org/10.1109/ICCCN.2011.6005945}, interhash = {fe2000297ed6fd1cbac13eecec232c39}, intrahash = {9812ad21a3b2752c1bab98dd6fba29ac}, isbn = {978-1-4577-0637-0}, keywords = {dblp}, pages = {1-8}, publisher = {IEEE}, timestamp = {2016-11-19T11:37:52.000+0100}, title = {Rule-Based Verification of Network Protocol Implementations Using Symbolic Execution.}, url = {http://dblp.uni-trier.de/db/conf/icccn/icccn2011.html#SongMCP11}, year = 2011 }