Pages that link to "Item:Q853730"
From MaRDI portal
The following pages link to Cones and foci: A mechanical framework for protocol verification (Q853730):
Displaying 5 items.
- Verification of mobile ad hoc networks: an algebraic approach (Q549194) (← links)
- A linear process-algebraic format with data for probabilistic automata (Q764285) (← links)
- Formalizing provable anonymity in Isabelle/HOL (Q2355379) (← links)
- On the Minimisation of Acyclic Models (Q3541025) (← links)
- (Q5129943) (← links)
