A Mechanically Proved and an Incremental Development of the Session Initiation Protocol INVITE Transaction.

Published in: J. Comput. Networks Commun. (2014)

Keyphrases