scientific article; zbMATH DE number 1392310
From MaRDI portal
Publication:4936149
zbMath0945.68522MaRDI QIDQ4936149
Moshe Y. Vardi, Orna Kupferman
Publication date: 25 January 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (8)
Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition ⋮ Experiments with deterministic \(\omega\)-automata for formulas of linear temporal logic ⋮ Finding and fixing faults ⋮ Mechanizing the Powerset Construction for Restricted Classes of ω-Automata ⋮ Model checking properties on reduced trace systems ⋮ A complete characterization of deterministic regular liveness properties ⋮ Compositional SCC analysis for language emptiness ⋮ Synthesis of succinct systems
Uses Software
This page was built for publication:
