Event-B Model for the Heat Shock Response

Event-B model for the Heat Shock Response

Usman Sanwal, Luigia Petre and Ion Petre have built the Event-B model for the heat shock response

The Rodin model can be downloaded here and their pdf printouts can be downloaded here.