The following pages link to (Q4953875):
Displayed 11 items.
- Proactive communicating process with asymmetry in multiagent systems (Q364551) (← links)
- An equivalent CTL formulation for condition sequences (Q816698) (← links)
- Data structures for symbolic multi-valued model-checking (Q862857) (← links)
- Connectionist modal logic: representing modalities in neural networks (Q870254) (← links)
- Automatic workflow verification and generation (Q2368986) (← links)
- Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams (Q2372185) (← links)
- Connectionist computations of intuitionistic reasoning (Q2503271) (← links)
- Formal Verification of Object-Oriented Graph Grammars Specifications (Q2867893) (← links)
- Abstracting and Verifying Strategy-Proofness for Auction Mechanisms (Q3601792) (← links)
- Adequate Sets of Temporal Connectives in CTL (Q4917081) (← links)
- On Proving Termination of Constrained Term Rewrite Systems by Eliminating Edges from Dependency Graphs (Q5200103) (← links)