Verification of Session Initiation Protocol Using Timed Colored Petri Net

---

Copy For Citation

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

Int. J. Communications, Network and System Sciences,, vol.4, no.3, pp.170-179, 2011 (Peer-Reviewed Journal)

• Publication Type: Article / Article
• Volume: 4 Issue: 3
• Publication Date: 2011
• Journal Name: Int. J. Communications, Network and System Sciences,
• Journal Indexes: Communication Abstracts
• Page Numbers: pp.170-179
• Istanbul Technical University Affiliated: Yes