Etiqueta de registo: 00230nam 2200025 450
001 1781709
003 http://id.bnportugal.gov.pt/bib/catbnp/1781709
100 ## $a20110602d2010 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aTowards an integrative approach for the modeling and formal verification of biological regulatory networks$fPedro Tiago Gonçalves Monteiro$gorient. Ana Teresa Correia de Freitas, Hidde de Jong, Radu Mateescu
210 #9 $aLisboa$c[s.n.],$d2010
215 ## $a[2], XIX, 141 p.$cil.$d30 cm
215 ## $a1 disco óptico (CD-ROM) em caixa$cil.$d13 x 14 x 1 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aContém bibliografia
328 #1 $aTese dout. Engenharia Informática e de Computadores, Instituto Superior Técnico, Univ. Técnica de Lisboa, 2010
675 ## $a004.9(043)$vBN$zpor$3788403
675 ## $a004.42(043)$vBN$zpor$3793077
700 #1 $aMonteiro,$bPedro Tiago Gonçalves $31246720
702 #1 $aSousa,$bAna Teresa Correia de Freitas Figueira de$4727$3158946
702 #1 $aJong,$bHidde de$4727$31462008
702 #1 $aMateescu,$bRadu$4727$31462009
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 18631 P.$x1
966 ## $lBN$mFGMON$sP. 32437 V.$x1