TY  - JOUR
AU  - Tamás Bérczes
AU  - Gábor Guta
AU  - Gábor Kusper
AU  - Wolfgang Schreiner
AU  - János Sztrik
TI  - Evaluating a probabilistic model checker for modeling and analyzing retrial queueing systems
JO  - Annales mathematicae et informaticae
PY  - 2010
SP  - 51
EP  - 75
VL  - 37
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMI_2010_37_a5/
LA  - en
ID  - AMI_2010_37_a5
ER  -