scientific article; zbMATH DE number 88991
From MaRDI portal
Publication:4016548
zbMATH Open0755.68121MaRDI QIDQ4016548FDOQ4016548
Authors: Joseph Y. Halpern, Moshe Y. Vardi 
Publication date: 16 January 1993
Title of this publication is not available (Why is that?)
Recommendations
Cited In (18)
- Alternating automata: unifying truth and validity checking for temporal logics
- Belief revision and update: Complexity of model checking
- Reasoning about nondeterministic and concurrent actions: A process algebra approach
- Title not available (Why is that?)
- Defaults in domain theory
- The High Road to Formal Validation:
- Verification from Declarative Specifications Using Logic Programming
- On the logic of cooperation and propositional control
- Title not available (Why is that?)
- View-based explicit knowledge
- Symbolic model checking the knowledge in Herbivore protocol
- Obligation as optimal goal satisfaction
- Title not available (Why is that?)
- To know or not to know: Epistemic approaches to security protocol verification
- Common knowledge and update in finite environments
- Abstraction for model checking multi-agent systems
- A proof theory for model checking
- Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4016548)
