Verification of Session Initiation Protocol Using Timed Colored Petri Net


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

Int. J. Communications, Network and System Sciences,, cilt.4, sa.3, ss.170-179, 2011 (Diğer Kurumların Hakemli Dergileri)

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 4 Konu: 3
  • Basım Tarihi: 2011
  • Dergi Adı: Int. J. Communications, Network and System Sciences,
  • Sayfa Sayıları: ss.170-179