VSE knjižnice (vzajemna bibliografsko-kataložna baza podatkov COBIB.SI)
  • Exploiting partitioned transition relations for efficient symbolic model checking in CTL
    Časar, Aleš ; Brezočnik, Zmago ; Kapus, Tatjana
    Vir: Proceedings (Str. 606)
    Vrsta gradiva - prispevek na konferenci
    Leto - 1996
    Jezik - angleški
    COBISS.SI-ID - 2471446