Comparison of Event-B and B Method: Application in Immune System
Crossref DOI link: https://doi.org/10.1007/978-3-319-93815-8_31
Published Online: 2018-06-16
Published Print: 2018
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Zou, Sheng-rong
Wang, Chen
Jiang, Si-ping
Chen, Li
License valid from 2018-01-01