From formal specification to implementation: experience with protocol tools.

Thomas J. Baumgartner, David M. Kristol, J. D. Milleville, Prashant S. Parikh

Browse the full ICNP paper archive.