Simbolično preiskovanje diagramov prehajanja stanj končnih avtomatov : diplomsko deloČasar, Aleš (Avtor) Brezočnik, Zmago (Mentor) logična funkcijakončni avtomatiprehajalna funkcijaprehajalna relacijakarakteristična funkcijaCTL formulebinarni odločitveni grafi[A. Časar]19952007-07-26 11:14:50Diplomsko delo5001UDK: 681.32:519.714:519.17COBISS_ID: 1821718NUK URN: URN:SI:UM:DK:1BGXOI9Hsl