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

Muhammad Usman Sanwal, Luigia Petre, Ion Petre

Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu

2 Sitaatiot (Scopus)

Alkuperäiskieli	Ei tiedossa
Sivut	1–12
Julkaisu	Computers in Biology and Medicine
Vuosikerta	91
DOI - pysyväislinkit	https://doi.org/10.1016/j.compbiomed.2017.09.021
Tila	Julkaistu - 2017
OKM-julkaisutyyppi	A1 Julkaistu artikkeli, soviteltu

Pääsy asiakirjaan

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