- CSB - MetaPress - Google - Bing - Yahoo
 | 1999 | |
|---|---|---|
| 1 |      | Guy Leduc, Olivier Bonaventure, Luc Léonard, E. Koerner, Charles Pecheur: Model-Based Verification of a Security Protocol for Conditional Access to Services. Formal Methods in System Design 14(2): 171-191 (1999) |
| 1 | Olivier Bonaventure | [1] |
| 2 | Guy Leduc | [1] |
| 3 | Luc Léonard | [1] |
| 4 | Charles Pecheur | [1] |