Etiqueta de registo: 00230nam 2200025 450
001 1750831
003 http://id.bnportugal.gov.pt/bib/catbnp/1750831
100 ## $a20100709d2007 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aLinear-time temporal logic control of discrete event systems$fBruno Filipe Araújo Lacerda
210 #9 $aLisboa$c[s.n.],$d2007
215 ## $a[4], III, 47 f.$cil.$d30 cm
320 ## $aBibliografia, f. 47
328 #1 $aTese mestr. Matemática e Aplicações, Inst. Sup. Técnico, Univ. Técnica de Lisboa, 2007
675 ## $a519.71(043)$vBN$zpor$3389481
675 ## $a681.5(043)$vBN$zpor$3297997
700 #1 $aLacerda,$bBruno Filipe Araújo $31427293
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 133422 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1856730
003 http://id.bnportugal.gov.pt/bib/catbnp/1856730
100 ## $a20131122d2013 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aSupervision of discrete event systems based on temporal logic specifications$fBruno Filipe Araújo de Lacerda$gorient. Pedro Manuel Urbano de Almeida Lima
210 #9 $aLisboa$c[s.n.],$d2013
215 ## $a1 disco ótico (CD-ROM) em caixa$cil.$d14 x 13 x 1 cm
215 ## $aXII, 175 p.$cil.$d30 cm
305 ## $aEdição impressa e em CD-ROM
320 ## $aContém bibliografia
328 #1 $aTese dout. Electrical and Computer Engineering, Inst. Superior Técnico, Univ. de Lisboa, 2013
675 ## $a004.82(043)$vBN$zpor$31209577
675 ## $a681.5.01(043)$vBN$zpor$31288659
675 ## $a519.71(043)$vBN$zpor$3389481
700 #1 $aLacerda,$bBruno Filipe Araújo $31427293
702 #1 $aLima,$bPedro Manuel Urbano de Almeida$4727$3337581
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 21364 P.$x1
966 ## $lBN$mFGMON$sP. 38837 V.$x1