BibTeX record conf/icccn/SongMCP11

• > Home > conf/icccn/SongMCP11

@inproceedings{DBLP:conf/icccn/SongMCP11,
  author       = {JaeSeung Song and
                  Tiejun Ma and
                  Cristian Cadar and
                  Peter R. Pietzuch},
  editor       = {Haohong Wang and
                  Jin Li and
                  George N. Rouskas and
                  Xiaobo Zhou},
  title        = {Rule-Based Verification of Network Protocol Implementations Using
                  Symbolic Execution},
  booktitle    = {Proceedings of 20th International Conference on Computer Communications
                  and Networks, {ICCCN} 2011, Maui, Hawaii, USA, July 31 - August 4,
                  2011},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/ICCCN.2011.6005945},
  doi          = {10.1109/ICCCN.2011.6005945},
  timestamp    = {Mon, 03 Mar 2025 21:08:22 +0100},
  biburl       = {https://dblp.org/rec/conf/icccn/SongMCP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}