Geodesic
Probabilistic model checking on HPC systems for the performance analysis of mobile networks
Annales mathematicae et informaticae, Tome 43 (2014), pp. 123-144.

Voir la notice de l'article provenant de la source Annales Mathematica et Informaticae website

@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},
     publisher = {mathdoc},
     volume = {43},
     year = {2014},
     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
PB  - mathdoc
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
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMI_2014_43_a10/
%G en
%F AMI_2014_43_a10
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/