An Excursion Through Quantitative Model Refinement

D4 Published development or research report or study


Internal Authors/Editors


Publication Details

List of Authors: Sepinoud Azimi, Eugen Czeizler, Cristian Gratie, Diana Gratie, Bogdan Iancu, Nebiat Ibssa, Ion Petre, Vladimir Rogojin, Tolou Shadbahr, Fatemeh Shokri
Publisher: Turku Centre for Computer Science (TUCS)
Place: Turku
Publication year: 2015
ISBN: 978-952-12-3325-8

Last updated on 2019-23-09 at 02:55