@article{AMI_2010_37_a5,
     author = {Tam\'as B\'erczes and G\'abor Guta and G\'abor Kusper and Wolfgang Schreiner and J\'anos Sztrik},
     title = {Evaluating a probabilistic model checker for modeling and analyzing retrial queueing systems},
     journal = {Annales mathematicae et informaticae},
     pages = {51--75},
     publisher = {mathdoc},
     volume = {37},
     year = {2010},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/AMI_2010_37_a5/}
}