@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/}
}