%0 Conference Paper %1 conf/mmmacns/BistarelliCLM03 %A Bistarelli, Stefano %A Cervesato, Iliano %A Lenzini, Gabriele %A Martinelli, Fabio %B MMM-ACNS %D 2003 %E Gorodetsky, Vladimir %E Popyack, Leonard J. %E Skormin, Victor A. %I Springer %K dblp %P 86-99 %T Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols. %U http://dblp.uni-trier.de/db/conf/mmmacns/mmmacns2003.html#BistarelliCLM03 %V 2776 %@ 3-540-40797-9

@inproceedings{conf/mmmacns/BistarelliCLM03, added-at = {2017-06-04T00:00:00.000+0200}, author = {Bistarelli, Stefano and Cervesato, Iliano and Lenzini, Gabriele and Martinelli, Fabio}, biburl = {https://www.bibsonomy.org/bibtex/26faa8961c2c390ec5d1d1159b23948ad/dblp}, booktitle = {MMM-ACNS}, crossref = {conf/mmmacns/2003}, editor = {Gorodetsky, Vladimir and Popyack, Leonard J. and Skormin, Victor A.}, ee = {https://doi.org/10.1007/978-3-540-45215-7_7}, interhash = {a0604a6eeb387fd642a2c6185c83bb38}, intrahash = {6faa8961c2c390ec5d1d1159b23948ad}, isbn = {3-540-40797-9}, keywords = {dblp}, pages = {86-99}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:42:56.000+0200}, title = {Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols.}, url = {http://dblp.uni-trier.de/db/conf/mmmacns/mmmacns2003.html#BistarelliCLM03}, volume = 2776, year = 2003 }