Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Frédéric
Last name:	Oehl
DBLP:	32/1143
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 1 of 1  

Select a publication
Show	Title	Venue	Rating	Date
	Frédéric Oehl, Gérard Cécé, Olga Kouchnarenko, David Sinclair. Automatic Approximation for the Verification of Cryptographic Protocols.	Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers 2003	(0)	2002

Your query returned 1 matches in the database.