Reynald Affeldt, David Nowak, Yutaka Oiwa. Formal network packet processing with minimal fuss: invertible syntax descriptions at work. In Koen Claessen, Nikhil Swamy, editors, Proceedings of the sixth workshop on Programming Languages meets Program Verification, PLPV 2012, Philadelphia, PA, USA, January 24, 2012. pages 27-36, ACM, 2012. [doi]
@inproceedings{AffeldtNO12,
title = {Formal network packet processing with minimal fuss: invertible syntax descriptions at work},
author = {Reynald Affeldt and David Nowak and Yutaka Oiwa},
year = {2012},
doi = {10.1145/2103776.2103781},
url = {http://doi.acm.org/10.1145/2103776.2103781},
researchr = {https://researchr.org/publication/AffeldtNO12},
cites = {0},
citedby = {0},
pages = {27-36},
booktitle = {Proceedings of the sixth workshop on Programming Languages meets Program Verification, PLPV 2012, Philadelphia, PA, USA, January 24, 2012},
editor = {Koen Claessen and Nikhil Swamy},
publisher = {ACM},
isbn = {978-1-4503-1125-0},
}