*001815189
*00520250613123555.0
*007ta
*008090324s2008    no            000 u eng d
*00900688cam a2200193 c 4500
*019  $bl
*035  $a(EXLNZ-47BIBSYS_NETWORK)990901771344702201
*035  $a(NO-LaBS)14394199(bibid)
*035  $a(NO-TrBIB)090177134
*035  $a090177134-47bibsys_network
*040  $aNO-TrBIB$bnob$ekatreg
*1001 $aKraemer, Frank Alexander$d1977-$0(NO-TrBIB)8003377$_44038700
*24510$aFrom activities to state machines :$brefinement proof for a system$cFrank Alexander Kraemer
*260  $a[Trondheim]$bDepartment of Telematics, NTNU$c2008
*300  $a14 s.$bfig.
*4901 $aAVANTEL technical report$v1/2008
*830  $aAVANTEL technical report$x1503-4097$v1/2008$w990230187634702201$_23466500
*901  $a80
*999  $aoai:nb.bibsys.no:990901771344702202$b2021-11-14T20:51:53Z$z990901771344702202
^