An Excursion Through Quantitative Model Refinement

D4 Publicerad utvecklings- eller forskningsrapport eller studie


Interna författare/redaktörer


Publikationens författare: Sepinoud Azimi, Eugen Czeizler, Cristian Gratie, Diana Gratie, Bogdan Iancu, Nebiat Ibssa, Ion Petre, Vladimir Rogojin, Tolou Shadbahr, Fatemeh Shokri
Förläggare: Turku Centre for Computer Science (TUCS)
Förlagsort: Turku
Publiceringsår: 2015
ISBN: 978-952-12-3325-8

Senast uppdaterad 2019-22-10 vid 04:09