Project detail

ADVANCE -- Advanced Validation Techniques for Telecommunication Protocols

Duration: 01.10.2001 — 31.01.2004

Mark

IST-1999-29082

Default language

English

People responsible

Bouajjani Ahmed - principal person responsible

Results

MATOUŠEK, P.; SIGHIREANU, M. Parametric Analysis of PGM protocol. Advance meeting, Paris: 2004. p. 0-0.
Detail

Link

http://verif.liafa.jussieu.fr/~haberm/ADVANCE/main.html

Responsibility: Bouajjani Ahmed