Xiaoping Che, Felipe Lalanne, Stephane Maag. A Formal Monitoring Technique for SIP Conformance Testing. In Leszek A. Maciaszek, Joaquim Filipe, editors, Evaluation of Novel Approaches to Software Engineering - 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers. Volume 410 of Communications in Computer and Information Science, pages 79-94, Springer, 2012. [doi]
Abstract is missing.