scientific article
From MaRDI portal
Publication:2754106
zbMath0974.68525MaRDI QIDQ2754106
No author found.
Publication date: 11 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Modeling and querying biomolecular interaction networks ⋮ The Complexity of Linear-Time Temporal Logic Model Repair ⋮ Query-Based Model Checking of Ad Hoc Network Protocols ⋮ Data structures for symbolic multi-valued model-checking ⋮ Unnamed Item ⋮ A tableau construction for finite linear-time temporal logic ⋮ Parameterized Weighted Containment ⋮ Inherent Vacuity in Lattice Automata ⋮ On the Notion of Vacuous Truth ⋮ Multi-valued model checking games ⋮ Latticed Simulation Relations and Games ⋮ Learning and characterizing fully-ordered lattice automata ⋮ Applying model-checking to solve queries on semistructured data ⋮ An abstraction-refinement framework for trigger querying ⋮ Lattice Automata ⋮ Minimizing Deterministic Lattice Automata ⋮ A framework for compositional verification of multi-valued systems via abstraction-refinement