Frédéric Oehl

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2003
e1		Joseph M. Morris, Benjamin Aziz, Frédéric Oehl (Eds.): 6th International Workshop on Formal Methods, IWFM 2003, Dublin City University. 11 July, 2003. Workshops in Computing, BCS 2003
	2002
c1		Frédéric Oehl, Gérard Cécé, Olga Kouchnarenko, David Sinclair: Automatic Approximation for the Verification of Cryptographic Protocols. FASec 2002: 33-48

Coauthor Index

Last update Tue May 21 21:36:44 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page