%0 Journal Article %1 journals/spe/SilvaPHB11 %A Silva, Renato %A Pascal, Carine %A Hoang, Thai Son %A Butler, Michael J. %D 2011 %J Softw. Pract. Exp. %K %N 2 %P 199-208 %T Decomposition tool for event-B. %U http://dblp.uni-trier.de/db/journals/spe/spe41.html#SilvaPHB11 %V 41

@article{journals/spe/SilvaPHB11, added-at = {2023-12-13T00:02:30.000+0100}, author = {Silva, Renato and Pascal, Carine and Hoang, Thai Son and Butler, Michael J.}, biburl = {https://www.bibsonomy.org/bibtex/2196d773c47d12cc814d335428f30cacb/admin}, ee = {https://www.wikidata.org/entity/Q59625876}, interhash = {5df32fbcb52b30b6a06a8fbc049c518b}, intrahash = {196d773c47d12cc814d335428f30cacb}, journal = {Softw. Pract. Exp.}, keywords = {}, number = 2, pages = {199-208}, timestamp = {2023-12-13T00:02:30.000+0100}, title = {Decomposition tool for event-B.}, url = {http://dblp.uni-trier.de/db/journals/spe/spe41.html#SilvaPHB11}, volume = 41, year = 2011 }