Richard Banach, Michael J. Butler, Shengchao Qin, Nitika Verma, Huibiao Zhu. Core Hybrid Event-B I: Single Hybrid Event-B machines. Science of Computer Programming, 105:92-123, 2015. [doi]
@article{BanachBQVZ15,
title = {Core Hybrid Event-B I: Single Hybrid Event-B machines},
author = {Richard Banach and Michael J. Butler and Shengchao Qin and Nitika Verma and Huibiao Zhu},
year = {2015},
doi = {10.1016/j.scico.2015.02.003},
url = {http://dx.doi.org/10.1016/j.scico.2015.02.003},
researchr = {https://researchr.org/publication/BanachBQVZ15},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {105},
pages = {92-123},
}