Bérczes, TamásGuta, GáborKusper, GáborSchreiner, WolfgangSztrik, János2011-01-052011-01-052010Annales Mathematicae et Informaticae. -2010 : 37 (2010), p. 51-75. - Ann. Math. Inform. - 1787-5021. - 1787-61171787-50211787-6117http://hdl.handle.net/2437/101370Evaluating a probabilistic model checker for modeling and analyzing retrial queueing systemsfolyóiratcikkopen access journalhttp://webpac.lib.unideb.hu:8082/ebib/CorvinaWeb?action=cclfind&resultview=long&ccltext=idno+BIBFORM012764TermészettudományokMatematika- és számítástudományok2019-01-10