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

A1 Journal article (refereed)


Internal Authors/Editors


Publication Details

List of Authors: Usman Sanwal, Luigia Petre, Ion Petre
Publisher: Elsevier
Publication year: 2017
Journal: Computers in Biology and Medicine
Journal acronym: Comput Biol Med
Volume number: 91
Start page: 1
End page: 12
eISSN: 1879-0534

Last updated on 2019-18-08 at 05:31