B2 Vertaisarvioimaton kirjan tai muun kokoomateoksen osa

Quantitative model refinement in four different frameworks, with applications to the heat shock response

Tekijät: Gratie Diana-Elena, Iancu Bogdan, Azimi Sepinoud, Petre Ion

Toimittaja: Petre Luigia, Sekerinski Emil

Julkaisuvuosi: 2016

Kokoomateoksen nimi: From Action Systems to Distributed Systems: the Refinement Approach

Aloitussivu: 201

Lopetussivu: 214