Items where Author is "Dutertre, B"
 | Up a level |
Group by: Item Type | No Grouping
Jump to: Conference or Workshop Item
Number of items: 2.
Conference or Workshop Item
Dutertre, B and Schneider, S (1997) Using a PVS Embedding of CSP to Verify Authentication Protocols. In: 10th International Conference on Theorem Proving in Higher Order Logics, 1997-08-19 - 1997-08-22, Murray Hill, NJ, USA.
Dutertre, B and Schneider, SA Using a PVS embedding of CSP to verify authentication protocols In: 10th International Theorem Proving in Higher Order Logic Conference, 1997 - ?.