%0 Journal Article %1 journals/scp/BanachBQZ17 %A Banach, Richard %A Butler, Michael J. %A Qin, Shengchao %A Zhu, Huibiao %D 2017 %J Sci. Comput. Program. %K %P 1-35 %T Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines. %U http://dblp.uni-trier.de/db/journals/scp/scp139.html#BanachBQZ17 %V 139

@article{journals/scp/BanachBQZ17, added-at = {2023-12-13T01:27:05.000+0100}, author = {Banach, Richard and Butler, Michael J. and Qin, Shengchao and Zhu, Huibiao}, biburl = {https://www.bibsonomy.org/bibtex/2f4ef3dd360d8b795ab8a245d2d631866/admin}, ee = {https://doi.org/10.1016/j.scico.2016.12.003}, interhash = {71c1faedd8cdfddec90328ce8fb0c5bb}, intrahash = {f4ef3dd360d8b795ab8a245d2d631866}, journal = {Sci. Comput. Program.}, keywords = {}, pages = {1-35}, timestamp = {2023-12-13T01:27:05.000+0100}, title = {Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp139.html#BanachBQZ17}, volume = 139, year = 2017 }