Stepwise Construction of a Metabolic Network in Event-B: The Heat Shock Response

Research output: Contribution to journalArticleScientificpeer-review

1 Citation (Scopus)
Original languageUndefined/Unknown
Pages (from-to)1–12
JournalComputers in Biology and Medicine
Volume91
DOIs
Publication statusPublished - 2017
MoE publication typeA1 Journal article-refereed

Cite this