scientific article
From MaRDI portal
Publication:2751376
zbMath1066.68075MaRDI QIDQ2751376
Bernd-Holger Schlingloff, Edmund M. Clarke
Publication date: 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (7)
Introduction to Model Checking ⋮ A STIT logic for reasoning about social influence ⋮ Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey ⋮ The expressibility of fragments of hybrid graph logic on finite digraphs ⋮ Model checking hybrid logics (with an application to semistructured data) ⋮ A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours ⋮ Deciding inseparability and conservative extensions in the description logic
This page was built for publication:
