Pages that link to "Item:Q5758138"
From MaRDI portal
The following pages link to Model Checking on Trees with Path Equivalences (Q5758138):
Displayed 12 items.
- Collaborative planning with confidentiality (Q540688) (← links)
- To know or not to know: Epistemic approaches to security protocol verification (Q625717) (← links)
- Model checking the observational determinism security property using PROMELA and SPIN (Q903490) (← links)
- Recent developments in high dimensional covariance estimation and its related issues, a review (Q1657856) (← links)
- Detection of hubs in complex networks by the Laplacian matrix (Q2131998) (← links)
- Model Checking Information Flow in Reactive Systems (Q2891409) (← links)
- An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking (Q2901208) (← links)
- Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus (Q2946334) (← links)
- Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions (Q3601787) (← links)
- Dynamic Observers for the Synthesis of Opaque Systems (Q3648711) (← links)
- (Q5090956) (← links)
- A GENERAL NOTION OF UNIFORM STRATEGIES (Q5406294) (← links)