| Author
|
Francien Dechesne +
, Mohammad Reza Mousavi +
, Simona M. Orzan +
|
| Diva
|
http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:585573
|
| PublicationType
|
Report +
|
| Publisher
|
Technische Universiteit Eindhoven +
|
| Series
|
Computer science report ; 07-15 +
|
| Title
|
Operational and epistemic approaches to protocol analysis : Bridging the gap +
|
| Year
|
2007 +
|
| Has queryThis property is a special property in this wiki.
|
Publications:Operational and epistemic approaches to protocol analysis : Bridging the gap +
, Publications:Operational and epistemic approaches to protocol analysis : Bridging the gap +
, Publications:Operational and epistemic approaches to protocol analysis : Bridging the gap +
, Publications:Operational and epistemic approaches to protocol analysis : Bridging the gap +
, Publications:Operational and epistemic approaches to protocol analysis : Bridging the gap +
, Publications:Operational and epistemic approaches to protocol analysis : Bridging the gap +
, Publications:Operational and epistemic approaches to protocol analysis : Bridging the gap +
, Publications:Operational and epistemic approaches to protocol analysis : Bridging the gap +
, Publications:Operational and epistemic approaches to protocol analysis : Bridging the gap +
, Publications:Operational and epistemic approaches to protocol analysis : Bridging the gap +
|
| Categories |
Publication +
|
| Modification dateThis property is a special property in this wiki.
|
26 June 2014 03:43:25 +
|
