%0 Journal Article %1 journals/iandc/DelauneLLT08 %A Delaune, Stéphanie %A Lafourcade, Pascal %A Lugiez, Denis %A Treinen, Ralf %D 2008 %J Inf. Comput. %K %N 2-4 %P 312-351 %T Symbolic protocol analysis for monoidal equational theories. %U http://dblp.uni-trier.de/db/journals/iandc/iandc206.html#DelauneLLT08 %V 206

@article{journals/iandc/DelauneLLT08, added-at = {2023-12-13T01:08:58.000+0100}, author = {Delaune, Stéphanie and Lafourcade, Pascal and Lugiez, Denis and Treinen, Ralf}, biburl = {https://www.bibsonomy.org/bibtex/2619891c37900fa9508c08074194cb9dd/admin}, ee = {https://doi.org/10.1016/j.ic.2007.07.005}, interhash = {6d7665881deaea9822c7439ce61424c9}, intrahash = {619891c37900fa9508c08074194cb9dd}, journal = {Inf. Comput.}, keywords = {}, number = {2-4}, pages = {312-351}, timestamp = {2023-12-13T01:08:58.000+0100}, title = {Symbolic protocol analysis for monoidal equational theories.}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc206.html#DelauneLLT08}, volume = 206, year = 2008 }