TY  - RPRT
TI  - GénéSyst : Génération d'un système de transitions étiquetées à partir d'une spécification B événementiel
AU  - Xavier Morselli
AU  - Marie-Laure Potet
AU  - Nicolas Stouls
PY  - 2010
UR  - https://arxiv.org/abs/1004.2178
ID  - 1004.2178
ER  -