On Formal Modeling and Validation of Signaling Protocols for Web Real-Time Communications using SDL.

Asma El Hamzaoui, Abdeslam En-Nouaary, Hicham Bensaid

Browse the full ANT paper archive.