Etiqueta de registo: 00000nam 2200025 450
001 1951666
003 http://id.bnportugal.gov.pt/bib/catbnp/1951666
100 ## $a20161228d2016 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aFormal reasoning about temporal properties in dynamic stochastic systems$eexact and approximate procedures with applications$fDavid João Barros Henriques$gorient. Paulo Alexandre Carreira Mateus
210 #9 $aLisboa$c[s.n.],$d2016
215 ## $aXVIII, 202 p.$cil.$d30 cm
328 #1 $aTese dout. Information Security, Instituto Superior Técnico, Univ. de Lisboa, 2016
675 ## $a004.42(043)$vBN$zpor$3793077
675 ## $a510.64(043)$vBN$zpor$31336195
675 ## $a519.24(043)$vBN$zpor$31221038
700 #1 $aHenriques,$bDavid João Barros$31666843
702 #1 $aMateus,$bPaulo Alexandre Carreira$4727$31000296
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 46705 V.$x1