Pages that link to "Item:Q853730"

The following pages link to Cones and foci: A mechanical framework for protocol verification (Q853730):

Displaying 3 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)