Keywords: porazdeljeni sistemi, verifikacija, procesna algebra, binarni odločitveni grafiPublished in DKUM: 26.07.2007; Views: 3378; Downloads: 0