Table of Contents Author Guidelines Submit a Manuscript
Journal of Computer Networks and Communications
Volume 2014, Article ID 352071, 11 pages
http://dx.doi.org/10.1155/2014/352071
Research Article

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

LMPHE laboratory, Faculty of sciences, University of Mohammed V, 4 Street Ibn Batouta, PB 1014 RP Rabat, Morocco

Received 31 May 2014; Revised 25 September 2014; Accepted 19 October 2014; Published 19 November 2014

Academic Editor: Kyandoghere Kyamakya

Copyright © 2014 Rajaa Filali and Mohamed Bouhdadi. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

How to Cite this Article

Rajaa Filali and Mohamed Bouhdadi, “A Mechanically Proved and an Incremental Development of the Session Initiation Protocol INVITE Transaction,” Journal of Computer Networks and Communications, vol. 2014, Article ID 352071, 11 pages, 2014. https://doi.org/10.1155/2014/352071.