scientific article; zbMATH DE number 1479635
From MaRDI portal
Publication:4490750
zbMath0942.68600MaRDI QIDQ4490750
Publication date: 20 July 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Bounded model checking of infinite state systems ⋮ From LTL to unambiguous Büchi automata via disambiguation of alternating automata ⋮ Rigorous approximated determinization of weighted automata ⋮ Fuzzy alternating Büchi automata over distributive lattices ⋮ Finite automata on timed \(\omega\)-trees ⋮ Model checking open systems with alternating projection temporal logic ⋮ LTL to self-loop alternating automata with generic acceptance and back ⋮ Propositional Dynamic Logic for Message-Passing Systems ⋮ Transformation from PLTL to automata via NFGs ⋮ From Philosophical to Industrial Logics ⋮ From Monadic Logic to PSL ⋮ Automata-Theoretic Model Checking Revisited ⋮ Alternating automata: Unifying truth and validity checking for temporal logics
