Title | ||
---|---|---|
GénéSyst : Génération d'un système de transitions étiquetées à partir d'une spécification B événementiel |
Year | Venue | DocType |
---|---|---|
2010 | Clinical Orthopaedics and Related Research | Journal |
Volume | Citations | PageRank |
abs/1004.2 | 0 | 0.34 |
References | Authors | |
0 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Xavier Morselli | 1 | 0 | 0.34 |
Marie-Laure Potet | 2 | 190 | 21.34 |
Nicolas Stouls | 3 | 40 | 5.42 |