A Formal Monitoring Technique for SIP Conformance Testing.

Xiaoping Che, Felipe Lalanne, Stephane Maag

Browse the full ENASE paper archive.