Formalising Interactive Voice Services with SDL

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/11589976_18 ◽

2005 ◽

pp. 307-326 ◽

Cited By ~ 1

Author(s):

Kenneth J. Turner

Download Full-text