Verification of Session Initiation Protocol Using Timed Colored Petri Net


Kızmaz S., Kırcı M.

Int. J. Communications, Network and System Sciences,, vol.4, no.3, pp.170-179, 2011 (Refereed Journals of Other Institutions)

  • Publication Type: Article / Article
  • Volume: 4 Issue: 3
  • Publication Date: 2011
  • Title of Journal : Int. J. Communications, Network and System Sciences,
  • Page Numbers: pp.170-179