%0 Journal Article %1 journals/ijes/AhmadonYG18 %A Ahmadon, Mohd Anuaruddin Bin %A Yamaguchi, Shingo %A Gupta, Brij B. %D 2018 %J Int. J. Embed. Syst. %K dblp %N 6 %P 503-517 %T Petri net-based verification of security protocol implementation in software evolution. %U http://dblp.uni-trier.de/db/journals/ijes/ijes10.html#AhmadonYG18 %V 10

@article{journals/ijes/AhmadonYG18, added-at = {2023-08-28T00:00:00.000+0200}, author = {Ahmadon, Mohd Anuaruddin Bin and Yamaguchi, Shingo and Gupta, Brij B.}, biburl = {https://www.bibsonomy.org/bibtex/2d7264f10a6c5481b799826cde6f70988/dblp}, ee = {https://www.wikidata.org/entity/Q114965430}, interhash = {f0bbb1cc62a9b2871d7b803dbb745cab}, intrahash = {d7264f10a6c5481b799826cde6f70988}, journal = {Int. J. Embed. Syst.}, keywords = {dblp}, number = 6, pages = {503-517}, timestamp = {2024-04-08T15:14:19.000+0200}, title = {Petri net-based verification of security protocol implementation in software evolution.}, url = {http://dblp.uni-trier.de/db/journals/ijes/ijes10.html#AhmadonYG18}, volume = 10, year = 2018 }