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

Muhammad Usman Sanwal, Luigia Petre, Ion Petre

Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

2 Citeringar (Scopus)

Originalspråk	Odefinierat/okänt
Sidor (från-till)	1–12
Tidskrift	Computers in Biology and Medicine
Volym	91
DOI	https://doi.org/10.1016/j.compbiomed.2017.09.021
Status	Publicerad - 2017
MoE-publikationstyp	A1 Tidskriftsartikel-refererad

Åtkomst av dokument

@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 -