학술논문
Scalable reaction network modeling with automatic validation of consistency in Event-B
Document Type
Article
Author
Source
In: Scientific Reports . (Scientific Reports, December 2022, 12(1))
Subject
Language
English
ISSN
20452322