Ključne besede: porazdeljeni sistemi, verifikacija, procesna algebra, binarni odločitveni grafiObjavljeno: 26.07.2007; Ogledov: 2370; Prenosov: 0