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 (Peer-Reviewed Journal)