Etiqueta de registo: 00230nlm 2200025 450
001 1783696
003 http://id.bnportugal.gov.pt/bib/catbnp/1783696
100 ## $a20110701d2009 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
106 ## $as
200 1# $aAnimation-based validation of reactive software systems using behavioural models$bRecurso electrónico]$fÓscar Rafael da Silva Ferreira Ribeiro$gorient. João Miguel Lobo Fernandes
210 #9 $a[Braga$cs.n.],$d2009
215 ## $a1 disco óptico (CD-ROM) em caixa$cil.$d13 x 14 x 1 cm
230 ## $aDados
304 ## $aTít. retirado do primeiro ecrã informativo
320 ## $aContém bibliografia
328 #1 $aTese dout. Informática, Univ. do Minho, 2009
675 ## $a004.41.05(043)(0.034)$vBN$zpor$31483061
675 ## $a519.17(043)(0.034)$vBN$zpor$31483062
700 #1 $aRibeiro,$bÓscar Rafael da Silva Ferreira$31306826
702 #1 $aFernandes,$bJoão Miguel Lobo,$f1968-$4727$31816545
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 18785 P.$x1

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