*0011377269
*008041119s2004    xx#           000 0 eng
*019  $bk
*100  $aBoström, Pontus$uÅbo Akademi University. Department of Computer Science. Turku Centre for Computer Science (TUCS), Turku, Finland ; {Pontus.Bostrom/Marina.Walden}@abo.fi$_156969700
*245  $aImplementation of control systems using B action systems$ba case study
*300  $aS. [75]-101 : ill.
*500  $aVitenskapelig artikkel
*5208 $aInneholder sammendrag
*700  $aWaldén, Marina$uÅbo Akademi University. Department of Computer Science. Turku Centre for Computer Science (TUCS) ; {Pontus.Bostrom/Marina.Walden}@abo.fi$_156969800
*773  $tNordic journal of computing$gVol. 11, no. 2 (2004)$x1236-6064$w(NO-LaBS)69800(tnr)
*999  $z400353739$anorart:400353739
^