Etiqueta de registo: 00000nx a22000253 45
001 1345558
100 ## $a20081006apory0103 ba0
152 ## $aRPC
200 #1 $aScedrov,$bAndre
801 #0 $aPT$bBN
810 ## $aFormal methods for the analysis of security protocols
830 ## $aOrientador de teses
ver registos bibliográficos associados