Etiqueta de registo: 00000nam 2200025 450
001 1946209
003 http://id.bnportugal.gov.pt/bib/catbnp/1946209
100 ## $a20161027d2016 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aInterplay between probabilistic and temporal reasoning$eapplications to be analysis and synthesis of complex systems$fManuel Biscaia Martins$gorient. Paulo Alexandre Carreira Mateus
210 #9 $aLisboa$c[s.n.],$d2016
215 ## $aXII, 137 p.$cil.$d30 cm
328 #1 $aTese dout. Information Security, Instituto Superior Técnico, Universidade de Lisboa, 2016
675 ## $a519.6(043)$vBN$zpor$31220290
700 #1 $aMartins,$bManuel Biscaia$31660973
702 #1 $aMateus,$bPaulo Alexandre Carreira$4727$31000296
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 163536 V.$x1