%0 Journal Article %1 journals/corr/abs-1004-1472 %A Bert, Didier %A Potet, Marie-Laure %A Stouls, Nicolas %D 2010 %J CoRR %K %T GeneSyst: a Tool to Reason about Behavioral Aspects of B Event Specifications. Application to Security Properties. %U http://dblp.uni-trier.de/db/journals/corr/corr1004.html#abs-1004-1472 %V abs/1004.1472

@article{journals/corr/abs-1004-1472, added-at = {2023-12-13T02:43:23.000+0100}, author = {Bert, Didier and Potet, Marie-Laure and Stouls, Nicolas}, biburl = {https://www.bibsonomy.org/bibtex/26410e1ae11b2e6783522a3347c835ddc/admin}, ee = {http://arxiv.org/abs/1004.1472}, interhash = {82bc4c5d92867c6505f79b097d1d6e99}, intrahash = {6410e1ae11b2e6783522a3347c835ddc}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-13T02:43:23.000+0100}, title = {GeneSyst: a Tool to Reason about Behavioral Aspects of B Event Specifications. Application to Security Properties.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1004.html#abs-1004-1472}, volume = {abs/1004.1472}, year = 2010 }