Etiqueta de registo: 00000nx a2200025 45
001 1345551
100 ## $a20081006apory0103 ba0
102 ## $aPT
152 ## $aRPC
200 #1 $aAdão,$bPedro Miguel dos Santos Alves Madeira
801 #0 $aPT$bBN
810 ## $aFormal methods for the analysis of security protocols
830 ## $aDout. Matemática
ver registos bibliográficos associados