BibSLEIGH — Marc_Mehdi_Ayadi

BibSLEIGH

BibSLEIGH corpus

BibSLEIGH tags

BibSLEIGH bundles

BibSLEIGH people

EDIT!

CC-BY

Open Knowledge

XHTML 1.0 W3C Rec

CSS 2.1 W3C CanRec

email

Travelled to:

1 × Austria

Collaborated with:

Talks about:

cryptograph (1) protocol (1) experi (1) verif (1)

Person: Marc Mehdi Ayadi

DBLP: Ayadi:Marc_Mehdi

Contributed to:

FME 1997

1997

Wrote 1 papers:

FME-1997-AyadiB #empirical #encryption #protocol #verification: Verification of Cryptographic Protocols: An Experiment (MMA, DB), pp. 358–377.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.