%0 Journal Article %1 journals/ijcns/KizmazK11 %A Kizmaz, Safiye %A Kirci, Mürvet %D 2011 %J Int. J. Commun. Netw. Syst. Sci. %K dblp %N 3 %P 170-179 %T Verification of Session Initiation Protocol Using Timed Colored Petri Net. %U http://dblp.uni-trier.de/db/journals/ijcns/ijcns4.html#KizmazK11 %V 4

@article{journals/ijcns/KizmazK11, added-at = {2020-10-02T00:00:00.000+0200}, author = {Kizmaz, Safiye and Kirci, Mürvet}, biburl = {https://www.bibsonomy.org/bibtex/2c0b03f8ff29a99067ec4ca1d61818591/dblp}, ee = {https://doi.org/10.4236/ijcns.2011.43021}, interhash = {e6c615b7bc638fa1c99265af2ce8a471}, intrahash = {c0b03f8ff29a99067ec4ca1d61818591}, journal = {Int. J. Commun. Netw. Syst. Sci.}, keywords = {dblp}, number = 3, pages = {170-179}, timestamp = {2020-10-03T11:42:10.000+0200}, title = {Verification of Session Initiation Protocol Using Timed Colored Petri Net.}, url = {http://dblp.uni-trier.de/db/journals/ijcns/ijcns4.html#KizmazK11}, volume = 4, year = 2011 }