Geodesic
Evaluating a probabilistic model checker for modeling and analyzing retrial queueing systems
Annales mathematicae et informaticae, Tome 37 (2010), pp. 51-75.

Voir la notice de l'article provenant de la source Annales Mathematica et Informaticae website

@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/}
}
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  - 
%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
Tamás Bérczes; Gábor Guta; Gábor Kusper; Wolfgang Schreiner; János Sztrik. Evaluating a probabilistic model checker for modeling and analyzing retrial queueing systems. Annales mathematicae et informaticae, Tome 37 (2010), pp. 51-75. http://geodesic.mathdoc.fr/item/AMI_2010_37_a5/