%0 Journal Article %1 journals/jar/MartinhoR11 %A Martinho, Joana %A Ravara, António %D 2011 %J J. Autom. Reason. %K dblp %N 3-4 %P 293-323 %T Encoding Cryptographic Primitives in a Calculus with Polyadic Synchronisation. %U http://dblp.uni-trier.de/db/journals/jar/jar46.html#MartinhoR11 %V 46

@article{journals/jar/MartinhoR11, added-at = {2020-09-02T00:00:00.000+0200}, author = {Martinho, Joana and Ravara, António}, biburl = {https://www.bibsonomy.org/bibtex/2e70c05127454edba7be11275a2d2286d/dblp}, ee = {https://doi.org/10.1007/s10817-010-9189-7}, interhash = {a393b99ddc83eec3361ccdf9162500aa}, intrahash = {e70c05127454edba7be11275a2d2286d}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = {3-4}, pages = {293-323}, timestamp = {2020-09-09T13:34:44.000+0200}, title = {Encoding Cryptographic Primitives in a Calculus with Polyadic Synchronisation.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar46.html#MartinhoR11}, volume = 46, year = 2011 }