%0 Conference Paper %1 conf/icalp/DelauneLLT06 %A Delaune, Stéphanie %A Lafourcade, Pascal %A Lugiez, Denis %A Treinen, Ralf %B ICALP (2) %D 2006 %E Bugliesi, Michele %E Preneel, Bart %E Sassone, Vladimiro %E Wegener, Ingo %I Springer %K %P 132-143 %T Symbolic Protocol Analysis in Presence of a Homomorphism Operator and Exclusive Or. %U http://dblp.uni-trier.de/db/conf/icalp/icalp2006-2.html#DelauneLLT06 %V 4052 %@ 3-540-35907-9

@inproceedings{conf/icalp/DelauneLLT06, added-at = {2023-12-13T10:27:31.000+0100}, author = {Delaune, Stéphanie and Lafourcade, Pascal and Lugiez, Denis and Treinen, Ralf}, biburl = {https://www.bibsonomy.org/bibtex/2dd6b47889f7900bdb503df2cd8f5fe4c/admin}, booktitle = {ICALP (2)}, crossref = {conf/icalp/2006-2}, editor = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo}, ee = {https://doi.org/10.1007/11787006_12}, interhash = {d79f2ac3a627c3b90dbadfbedeb3600f}, intrahash = {dd6b47889f7900bdb503df2cd8f5fe4c}, isbn = {3-540-35907-9}, keywords = {}, pages = {132-143}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T10:27:31.000+0100}, title = {Symbolic Protocol Analysis in Presence of a Homomorphism Operator and Exclusive Or.}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp2006-2.html#DelauneLLT06}, volume = 4052, year = 2006 }