Frédéric Oehl Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2003
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoseph M. Morris, Benjamin Aziz, Frédéric Oehl: 6th International Workshop on Formal Methods, IWFM 2003, Dublin City University. 11 July, 2003 BCS 2003
2002
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFré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

1Benjamin Aziz [2]
2Gérard Cécé [1]
3Olga Kouchnarenko [1]
4Joseph M. Morris [2]
5David Sinclair [1]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)