%0 Journal Article %1 journals/scp/BanachBQVZ15 %A Banach, Richard %A Butler, Michael J. %A Qin, Shengchao %A Verma, Nitika %A Zhu, Huibiao %D 2015 %J Sci. Comput. Program. %K %P 92-123 %T Core Hybrid Event-B I: Single Hybrid Event-B machines. %U http://dblp.uni-trier.de/db/journals/scp/scp105.html#BanachBQVZ15 %V 105

@article{journals/scp/BanachBQVZ15, added-at = {2023-12-12T17:18:19.000+0100}, author = {Banach, Richard and Butler, Michael J. and Qin, Shengchao and Verma, Nitika and Zhu, Huibiao}, biburl = {https://www.bibsonomy.org/bibtex/2d599649a9f813968533f3008441859a8/admin}, ee = {https://www.wikidata.org/entity/Q59625800}, interhash = {01b97d8da95f23e1387377ea622d5605}, intrahash = {d599649a9f813968533f3008441859a8}, journal = {Sci. Comput. Program.}, keywords = {}, pages = {92-123}, timestamp = {2023-12-12T17:18:19.000+0100}, title = {Core Hybrid Event-B I: Single Hybrid Event-B machines.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp105.html#BanachBQVZ15}, volume = 105, year = 2015 }