Cite
MLA Citation
Sarah Benyagoub et al.. “Formal design of scalable conversation protocols using Event‐B: Validation, experiments, and benchmarks.” Journal of software, vol. 32, no. 2, 2020, p. n/a. http://access.bl.uk/ark:/81055/vdc_100099923064.0x000005