Etiqueta de registo: 00000nx a22000253 45
001 1472910
100 ## $a20111031apory0103 ba0
152 ## $aRPC
200 #1 $aGamboni,$bMaxime Emile
801 #0 $aPT$bBN
810 ## $aStatically proving behavioural properties in the pi-calculus via dependency analysis
830 ## $aDout. em Mathematics
ver registos bibliográficos associados