%0 Conference Paper %1 conf/case/JiangDZZ15 %A Jiang, Mingyue %A Ding, Zuohua %A Zhou, Mengchu %A Zhou, Yuan %B CASE %D 2015 %I IEEE %K dblp %P 545-550 %T Formal modeling and verification of secure mobile agent systems. %U http://dblp.uni-trier.de/db/conf/case/case2015.html#JiangDZZ15 %@ 978-1-4673-8183-3

@inproceedings{conf/case/JiangDZZ15, added-at = {2018-11-30T00:00:00.000+0100}, author = {Jiang, Mingyue and Ding, Zuohua and Zhou, Mengchu and Zhou, Yuan}, biburl = {https://www.bibsonomy.org/bibtex/294938763de9f7f2486b5535ea10eaa2a/dblp}, booktitle = {CASE}, crossref = {conf/case/2015}, ee = {https://doi.org/10.1109/CoASE.2015.7294136}, interhash = {6895065422657f4c76785277fc6dff55}, intrahash = {94938763de9f7f2486b5535ea10eaa2a}, isbn = {978-1-4673-8183-3}, keywords = {dblp}, pages = {545-550}, publisher = {IEEE}, timestamp = {2019-10-17T21:19:56.000+0200}, title = {Formal modeling and verification of secure mobile agent systems.}, url = {http://dblp.uni-trier.de/db/conf/case/case2015.html#JiangDZZ15}, year = 2015 }