| 2006 |
|---|
| 3 | EE | Marc Aiguier,
Karim Berkani,
Pascale Le Gall:
Feature Specification and Static Analysis for Interaction Resolution.
FM 2006: 364-379 |
| 2004 |
|---|
| 2 | | Karim Berkani,
Catherine Dubois,
Alain Faivre,
Jérôme Falampin:
Validation des règles de base de l'Atelier B.
Technique et Science Informatiques 23(7): 855-878 (2004) |
| 2003 |
|---|
| 1 | | Karim Berkani,
Rémy Cave,
Sophie Coudert,
Francis Klay,
Pascale Le Gall,
Farid Ouabdesselam,
Jean-Luc Richier:
An Environment for Interactive Service Specification.
FIW 2003: 25-41 |
