%0 Journal Article
%A Tamás Bérczes
%A Gábor Guta
%A Gábor Kusper
%A Wolfgang Schreiner
%A János Sztrik
%T Evaluating a probabilistic model checker for modeling and analyzing retrial queueing systems
%J Annales mathematicae et informaticae
%D 2010
%P 51-75
%V 37
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMI_2010_37_a5/
%G en
%F AMI_2010_37_a5