*001231879
*00520250613113448.0
*007ta
*008060216s2004    no            000 u eng d
*00900728cam a2200205 c 4500
*019  $bl
*020  $a8253905092$qh.
*035  $a(EXLNZ-47BIBSYS_NETWORK)990511286404702201
*035  $a(NO-LaBS)14981833(bibid)
*035  $a(NO-TrBIB)051128640
*035  $a051128640-47bibsys_network
*040  $aNO-TrBIB$bnob$ekatreg
*24500$aIntegration of structured review and model-based verification :$ba case study$cDemissie B. Aredo ... [et al.]
*260  $a[Oslo]$bNorsk regnesentral$c2004
*300  $a36 bl.$bill.
*4901 $aReport / Norsk regnesentral$v1001
*7000 $aDemissie Bediye Aredo$0(NO-TrBIB)98052859$_22321300
*830 0$aRapport (Norsk regnesentral : trykt utg.)$x0809-8492$v1001$w999001538064702201$_12741000
*901  $a80
*999  $aoai:nb.bibsys.no:990511286404702202$b2021-11-14T19:59:21Z$z990511286404702202
^