Etiqueta de registo: 00000nx a2200025 45
001 1462009
100 ## $a20110602apory0103 ba0
152 ## $aRPC
200 #1 $aMateescu,$bRadu
801 #0 $aPT$bBN
810 ## $aTowards an integrative approach for the modeling and formal verification of biological ...
830 ## $aProf. univ. na área de Engenharia Informática e de Computadores
ver registos bibliográficos associados