ArticleScientific reports2022
Scalable reaction network modeling with automatic validation of consistency in Event-B.
Usman Sanwal et al.PubMed ↗Full text ↗Publisher ↗
No numbers read from the abstract.
1 paper cites it
this papercites it
ArticleScientific reports2022
Usman Sanwal et al.PubMed ↗Full text ↗Publisher ↗
No numbers read from the abstract.