B2 Non-refereed book chapter or chapter in a compilation book

An excursion through quantitative model refinement

Authors: Azimi Sepinoud, Czeizler Eugen, Gratie Cristian, Gratie Diana, Iancu Bogdan, Ibssa Nebiat, Petre Ion , Rogojin Vladimir, Shadbahr Tolou, Shokri Fatemeh

Editors: Rozenberg Grzegorz, Salomaa Arto, Sempere Jose M., Zandron Claudio

Publication year: 2015

Book title : Membrane Computing

First page : 25

Last page: 47