Crossmark

Scalable reaction network modeling with automatic validation of consistency in Event-B

Published Online: 2022-01-25

Authors

Sanwal, Usman

Hoang, Thai Son

Petre, Luigia

Petre, Ion
License Information

Text and Data Mining valid from 2022-01-25

Version of Record valid from 2022-01-25
More Information

Article History

Received: 13 August 2021

Accepted: 8 December 2021

First Online: 25 January 2022

Competing interests

: The authors declare no competing interests.

Document is current