Etiqueta de registo: 00000cx a2200025 45
001 1306826
100 ## $a20071205apory0103 ba0
102 ## $aPT
152 ## $aRPC
200 #1 $aRibeiro,$bÓscar Rafael da Silva Ferreira
801 #0 $aPT$bBN
810 ## $aAnimation-based validation of reactive software systems using behavioural models
830 ## $aDout. Informática
ver registos bibliográficos associados