*001345371
*00520250613141415.0
*007cr
*007ta
*008090613s1998    no            000 0 eng d
*00901068cam a2200265 c 4500
*019  $bl
*020  $a8273681920$qh.
*035  $a(EXLNZ-47BIBSYS_NETWORK)999816103154702201
*035  $a(NO-LaBS)13378436(bibid)
*035  $a(NO-TrBIB)092628974
*035  $a(NO-TrBIB)981610315
*035  $a981610315-47bibsys_network
*040  $aNO-TrBIB$bnob$ekatreg
*1001 $aDahl, Ole-Johan$_62540400
*24510$aFormal methods and the RM-ODP$cOle-Johan Dahl and Olaf Owe
*260  $aOslo$bUniversity of Oslo, Department of Informatics$c1998
*300  $a17 s.$bill.
*4901 $aResearch report / University of Oslo, Department of Informatics$v261
*533  $aElektronisk reproduksjon$b[Norge]$cNasjonalbiblioteket Digital$d2009-04-20
*7001 $aOwe, Olaf$0(NO-TrBIB)90284769$_21004800
*830 0$aResearch report (Universitetet i Oslo. Institutt for informatikk : trykt utg.)$x0806-3036$v261$w998010812114702201$_17153800
*85641$3Fulltekst$uhttps://urn.nb.no/URN:NBN:no-nb_digibok_2009042000005$yNettbiblioteket$zDigital representasjon
*901  $a80
*999  $aoai:nb.bibsys.no:999816103154702202$b2021-11-14T20:13:06Z$z999816103154702202
^