The following pages link to Francien Dechesne (Q625716):
Displayed 9 items.
- To know or not to know: Epistemic approaches to security protocol verification (Q625717) (← links)
- N. G. de Bruijn (1918--2012) and his road to Automath, the earliest proof checker (Q1935352) (← links)
- Thompson transformations for IF-logic (Q2500828) (← links)
- Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap (Q3498468) (← links)
- Equivalence and quantifier rules for logic with imperfect information (Q3613174) (← links)
- (Q4599514) (← links)
- Interpreted Systems Semantics for Process Algebra with Identity Annotations (Q4914519) (← links)
- Refinement of Kripke Models for Dynamics (Q5505597) (← links)
- (Q5755192) (← links)