August 2007 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Thu Aug 9 13:53:29 CEST 2007
Ending: Thu Aug 9 13:53:29 CEST 2007
Messages: 1

• [Club2] Christoph Sprenger: A Monad-based Modeling and Verification Toolbox with Application to, Security Protocols   Florian Haftmann

Last message date: Thu Aug 9 13:53:29 CEST 2007
Archived on: Thu Aug 9 13:53:37 CEST 2007

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...