External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formal network packet processing with minimal fuss: invertible syntax descriptions at work

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]

Authors

Reynald Affeldt

This author has not been identified. Look up 'Reynald Affeldt' in Google

David Nowak

This author has not been identified. Look up 'David Nowak' in Google

Yutaka Oiwa

This author has not been identified. Look up 'Yutaka Oiwa' in Google
runs on