Atlas home || Conferences | Abstracts | about Atlas

LICS'98 Workshop on Formal Methods and Security Protocols

June 25, 1998

Indianapolis, IN, USA

Mathematics

Homepage: http://www.cs.bell-labs.com/~nch/fmsp/

Organizers: N. Heintze, J. Wing.

Deadline for abstracts: March 13, 1998

Date received: January 01, 1998, revised December 31, 2003

© 2008 Atlas Conferences Inc.