Etiqueta de registo: 00230nam 2200025 450
001 1668459
003 http://id.bnportugal.gov.pt/bib/catbnp/1668459
100 ## $a20071008d2005 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aModel checking of petri nets for embedded systems$bTexto policopaido]$fÓscar Rafael da Silva Ferreira Ribeiro$gorient. João Miguel Lobo Fernandes, Olga Maria Gomes Martins Pacheco
210 #9 $aBraga$c[s.n.],$d2005
215 ## $aX, 77 p.$cil.$d24 cm
320 ## $aBibliografia, p. 59-62
328 #0 $bTese mestr.$cInformática$eDep. de Informática, Escola de Engenharia, Univ. do Minho$d2005
675 ## $a004.4(043)$vBN$zpor$3827344
675 ## $a519.87(043)$vBN$zpor$3297306
700 #1 $aRibeiro,$bÓscar Rafael da Silva Ferreira$31306826
702 #1 $aFernandes,$bJoão Miguel Lobo,$f1968-$4727$31816545
702 #1 $aPacheco,$bOlga Maria Gomes Martins$4727$31174295
712 02 $aUniversidade do Minho.$bEscola de Engenharia.$bDepartamento de Informática$4295$31214610
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 23304 V.$x1

Etiqueta de registo: 00650cam 2200205 450
001 1186448
003 http://id.bnportugal.gov.pt/bib/catbnp/1186448
100 ## $a20031001d2001 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aEspecificação normativa de agentes institucionais e a interacção entre agentes$bTexto policopiado]$fOlga Maria Gomes Martins Pacheco
210 #9 $aBraga$c[s.n.],$d2001
215 ## $aIX, 236 p.$cil.$d25 cm
320 ## $aBibliografia, p. 231-236
328 ## $aTese dout. Informática, Univ. Minho, 2001
675 ## $a510.6(043.2)$3292219
675 ## $a519.6(043.2)$vBN$zpor$3304652
675 ## $a061(043.2)$3519769
700 #1 $aPacheco,$bOlga Maria Gomes Martins$31174295
966 ## $lBN$mFGMON$sS.A. 106155 V.$x1