%0 Journal Article %1 journals/spe/CaiSD23 %A Cai, Cheng-Hao %A Sun, Jing %A Dobbie, Gillian %D 2023 %J Softw. Pract. Exp. %K dblp %N 11 %P 2241-2270 %T Automatic refactoring of conditions and substitutions for B state transition models. %U http://dblp.uni-trier.de/db/journals/spe/spe53.html#CaiSD23 %V 53

@article{journals/spe/CaiSD23, added-at = {2023-11-28T00:00:00.000+0100}, author = {Cai, Cheng-Hao and Sun, Jing and Dobbie, Gillian}, biburl = {https://www.bibsonomy.org/bibtex/2398f9c61d1fda3869e2203bc9d7ad77b/dblp}, ee = {https://doi.org/10.1002/spe.3255}, interhash = {b335ad96c0c630239e7c52a16d5614fb}, intrahash = {398f9c61d1fda3869e2203bc9d7ad77b}, journal = {Softw. Pract. Exp.}, keywords = {dblp}, month = {November}, number = 11, pages = {2241-2270}, timestamp = {2024-04-09T06:40:17.000+0200}, title = {Automatic refactoring of conditions and substitutions for B state transition models.}, url = {http://dblp.uni-trier.de/db/journals/spe/spe53.html#CaiSD23}, volume = 53, year = 2023 }