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  -