scientific article; zbMATH DE number 88991
From MaRDI portal
Publication:4016548
Cited in
(18)- Reasoning about nondeterministic and concurrent actions: A process algebra approach
- Alternating automata: unifying truth and validity checking for temporal logics
- Defaults in domain theory
- scientific article; zbMATH DE number 140397 (Why is no real title available?)
- Belief revision and update: Complexity of model checking
- The High Road to Formal Validation:
- Verification from Declarative Specifications Using Logic Programming
- On the logic of cooperation and propositional control
- scientific article; zbMATH DE number 5148400 (Why is no real title available?)
- View-based explicit knowledge
- Symbolic model checking the knowledge in Herbivore protocol
- Obligation as optimal goal satisfaction
- To know or not to know: Epistemic approaches to security protocol verification
- Common knowledge and update in finite environments
- scientific article; zbMATH DE number 1517022 (Why is no real title available?)
- 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)
