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

Muhammad Usman Sanwal, Luigia Petre, Ion Petre

Research output: Contribution to journal › Article › Scientific › peer-review

2 Citations (Scopus)

Original language	Undefined/Unknown
Pages (from-to)	1–12
Journal	Computers in Biology and Medicine
Volume	91
DOIs	https://doi.org/10.1016/j.compbiomed.2017.09.021
Publication status	Published - 2017
MoE publication type	A1 Journal article-refereed

Access to Document

@article{a03c458d27c2402c95f7404a8d00c26d,

title = "Stepwise Construction of a Metabolic Network in Event-B: The Heat Shock Response",

author = "Sanwal, {Muhammad Usman} and Luigia Petre and Ion Petre",

year = "2017",

doi = "10.1016/j.compbiomed.2017.09.021",

language = "Odefinierat/ok{\"a}nt",

volume = "91",

pages = "1–12",

journal = "Computers in Biology and Medicine",

issn = "0010-4825",

publisher = "Elsevier",

}

TY - JOUR

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

AU - Sanwal, Muhammad Usman

AU - Petre, Luigia

AU - Petre, Ion

PY - 2017

Y1 - 2017

U2 - 10.1016/j.compbiomed.2017.09.021

DO - 10.1016/j.compbiomed.2017.09.021

M3 - Artikel

SN - 0010-4825

VL - 91

SP - 1

EP - 12

JO - Computers in Biology and Medicine

JF - Computers in Biology and Medicine

ER -