%0 Journal Article %1 journals/corr/abs-1004-2178 %A Morselli, Xavier %A Potet, Marie-Laure %A Stouls, Nicolas %D 2010 %J CoRR %K dblp %T GénéSyst : Génération d'un système de transitions étiquetées à partir d'une spécification B événementiel %U http://dblp.uni-trier.de/db/journals/corr/corr1004.html#abs-1004-2178 %V abs/1004.2178

@article{journals/corr/abs-1004-2178, added-at = {2022-10-02T00:00:00.000+0200}, author = {Morselli, Xavier and Potet, Marie-Laure and Stouls, Nicolas}, biburl = {https://www.bibsonomy.org/bibtex/27abf3d226a3e5bfd2642eb161877afed/dblp}, ee = {http://arxiv.org/abs/1004.2178}, interhash = {5f8dcd84b6b72dfc9c9c6bf3dac9c80a}, intrahash = {7abf3d226a3e5bfd2642eb161877afed}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T21:53:47.000+0200}, title = {GénéSyst : Génération d'un système de transitions étiquetées à partir d'une spécification B événementiel}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1004.html#abs-1004-2178}, volume = {abs/1004.2178}, year = 2010 }