Verifikacija porazdeljenih sistemov z uporabo binarnih odločitvenih grafov : diplomsko delo visokošolskega študijaSepesy Maučec, Mirjam (Avtor) Kapus, Tatjana (Mentor) porazdeljeni sistemiverifikacijaprocesna algebrabinarni odločitveni grafi[M. Sepešy]19962007-07-26 11:11:08Diplomsko delo4886UDK: 681.3:512:519.68COBISS_ID: 1950486NUK URN: URN:SI:UM:DK:SPNDV1XWsl