Stepwise construction of a metabolic network in Event-B: the heat shock response
: Sanwal Usman, Petre Luigia, Petre Ion
: 2017
: Computers in Biology and Medicine
: 91
: 1
: 12
Stepwise construction of a metabolic network in Event-B: the heat shock response
: Sanwal Usman, Petre Luigia, Petre Ion
: 2017
: Computers in Biology and Medicine
: 91
: 1
: 12