Modeling Session Initiation Protocol with Extended Finite State Machines.

Wenhui Sun, Feng Liu, Gang Dai, Honghui Li

Browse the full PDCAT paper archive.