Etiqueta de registo: 00146cx a2200073 45
001 1246720
100 ## $a20060726apory0103 ba0
102 ## $aPT
152 ## $aRPC
200 #1 $aMonteiro,$bPedro Tiago Gonçalves
801 #0 $aPT$bBN
810 ## $aTowards an integrative approach for the modeling and formal verifcation of biological...
830 ## $aDout. Engenharia Informática e de Computadores
ver registos bibliográficos associados