Asma El Hamzaoui, Hicham Bensaid, Abdeslam En-Nouaary. A Formal Model for WebRTC Signaling Using SDL. In Parosh Aziz Abdulla, Carole Delporte-Gallet, editors, Networked Systems - 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers. Volume 9944 of Lecture Notes in Computer Science, pages 202-208, Springer, 2016. [doi]
Abstract is missing.