%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