Bérczes, Tamás, Guta, Gábor, Kusper, Gábor, Schreiner, Wolfgang, Sztrik, János (2010) Evaluating a probabilistic model checker for modeling and analyzing retrial queueing systems Annales Mathematicae et Informaticae. 37. pp. 51-75. ISSN 1787-5021 (Print), 1787-6117 (Online)
Schreiner, Wolfgang, Bérczes, Tamás, Sztrik, János (2014) Probabilistic model checking on HPC systems for the performance analysis of mobile networks Annales Mathematicae et Informaticae. 43. pp. 123-144. ISSN 1787-5021 (Print), 1787-6117 (Online)