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




AuthorsGratie Diana-Elena, Iancu Bogdan, Azimi Sepinoud, Petre Ion

EditorsPetre Luigia, Sekerinski Emil

Publication year2016

Book title From Action Systems to Distributed Systems: the Refinement Approach

First page 201

Last page214




Last updated on 2024-26-11 at 21:38