Annales mathematicae et informaticae, Tome 43 (2014), pp. 123-144
Citer cet article
Wolfgang Schreiner; Tamás Bérczes; János Sztrik. Probabilistic model checking on HPC systems for the performance analysis of mobile networks. Annales mathematicae et informaticae, Tome 43 (2014), pp. 123-144. http://geodesic.mathdoc.fr/item/AMI_2014_43_a10/
@article{AMI_2014_43_a10,
author = {Wolfgang Schreiner and Tam\'as B\'erczes and J\'anos Sztrik},
title = {Probabilistic model checking on {HPC} systems for the performance analysis of mobile networks},
journal = {Annales mathematicae et informaticae},
pages = {123--144},
year = {2014},
volume = {43},
language = {en},
url = {http://geodesic.mathdoc.fr/item/AMI_2014_43_a10/}
}
TY - JOUR
AU - Wolfgang Schreiner
AU - Tamás Bérczes
AU - János Sztrik
TI - Probabilistic model checking on HPC systems for the performance analysis of mobile networks
JO - Annales mathematicae et informaticae
PY - 2014
SP - 123
EP - 144
VL - 43
UR - http://geodesic.mathdoc.fr/item/AMI_2014_43_a10/
LA - en
ID - AMI_2014_43_a10
ER -
%0 Journal Article
%A Wolfgang Schreiner
%A Tamás Bérczes
%A János Sztrik
%T Probabilistic model checking on HPC systems for the performance analysis of mobile networks
%J Annales mathematicae et informaticae
%D 2014
%P 123-144
%V 43
%U http://geodesic.mathdoc.fr/item/AMI_2014_43_a10/
%G en
%F AMI_2014_43_a10
