B2 Non-refereed book chapter or chapter in a compilation book
Quantitative model refinement in four different frameworks, with applications to the heat shock response
Authors: Gratie Diana-Elena, Iancu Bogdan, Azimi Sepinoud, Petre Ion
Editors: Petre Luigia, Sekerinski Emil
Publication year: 2016
Book title : From Action Systems to Distributed Systems: the Refinement Approach
First page : 201
Last page: 214