Login / Signup
Verification of Session Initiation Protocol Using Timed Colored Petri Net.
Safiye Kizmaz
Mürvet Kirci
Published in:
Int. J. Commun. Netw. Syst. Sci. (2011)
Keyphrases
</>
colored petri nets
petri net
session initiation protocol
web services
real time
neural network