Etiqueta de registo: 00000nx a22000253 45
001 1666843
100 ## $a20161228apory0103 ba0
102 ## $aPT
152 ## $aRPC
200 #1 $aHenriques,$bDavid João Barros
801 #0 $aPT$bBN
810 ## $aFormal reasoning about temporal properties in dynamic stochastic systems
830 ## $aDout. Information Security
ver registos bibliográficos associados