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 10 items.
- Verification of mobile ad hoc networks: an algebraic approach (Q549194) (← links)
- A linear process-algebraic format with data for probabilistic automata (Q764285) (← links)
- Focus points and convergent process operators: A proof strategy for protocol verification (Q1349249) (← links)
- The cones and foci proof technique for timed transition systems (Q1607115) (← links)
- Formalizing provable anonymity in Isabelle/HOL (Q2355379) (← links)
- (Q2754095) (← links)
- Formal verification of timed systems using cones and foci (Q2851076) (← links)
- On the Minimisation of Acyclic Models (Q3541025) (← links)
- (Q4417864) (← links)
- (Q5129943) (← links)