Joana Martinho

	2011
2		Joana Martinho, António Ravara: Encoding Cryptographic Primitives in a Calculus with Polyadic Synchronisation. J. Autom. Reasoning 46(3-4): 293-323 (2011)
	2008
1		Joana Martinho, António Ravara: Encoding cryptographic primitives in a calculus with polyadic synchronization. TMFCS 2008: 102-109

Coauthor Index

1

António Ravara

[1] [2]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page