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