%0 Conference Paper %1 conf/ica3pp/LiuJ15 %A Liu, GuanJun %A Jiang, Changjun %B ICA3PP (3) %D 2015 %E Wang, Guojun %E Zomaya, Albert Y. %E Pérez, Gregorio Martínez %E Li, Kenli %I Springer %K dblp %P 625-639 %T Secure Bisimulation for Interactive Systems. %U http://dblp.uni-trier.de/db/conf/ica3pp/ica3pp2015-3.html#LiuJ15 %V 9530 %@ 978-3-319-27136-1

@inproceedings{conf/ica3pp/LiuJ15, added-at = {2017-05-26T00:00:00.000+0200}, author = {Liu, GuanJun and Jiang, Changjun}, biburl = {https://www.bibsonomy.org/bibtex/2be139a1bba112a25326f1e4f920ff0e1/dblp}, booktitle = {ICA3PP (3)}, crossref = {conf/ica3pp/2015-3}, editor = {Wang, Guojun and Zomaya, Albert Y. and Pérez, Gregorio Martínez and Li, Kenli}, ee = {https://doi.org/10.1007/978-3-319-27137-8_45}, interhash = {c5ebf456ebdf2755cc92377a96bc8809}, intrahash = {be139a1bba112a25326f1e4f920ff0e1}, isbn = {978-3-319-27136-1}, keywords = {dblp}, pages = {625-639}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T22:02:42.000+0200}, title = {Secure Bisimulation for Interactive Systems.}, url = {http://dblp.uni-trier.de/db/conf/ica3pp/ica3pp2015-3.html#LiuJ15}, volume = 9530, year = 2015 }