João Antunes, Nuno Ferreira Neves. Automatically complementing protocol specifications from network traces. In Felicita Di Giandomenico, editor, Proceedings of the 13th European Workshop on Dependable Computing, EWDC '11, Pisa, Italy, May 11-12, 2011. pages 87-92, ACM, 2011. [doi]
Abstract is missing.