Schreiner, WolfgangBérczes, TamásSztrik, János2015-01-122015-01-122014Annales Mathematicae et Informaticae. -43 (2014), p. 123-144. -Ann. Math. Inform. - 1787-5021. - 1787-61171787-50211787-6117http://hdl.handle.net/2437/203202Probabilistic model checking on HPC systems for the performance analysis of mobile networksfolyóiratcikkopen access journalhttp://webpac.lib.unideb.hu:8082/ebib/CorvinaWeb?action=cclfind&resultview=long&ccltext=idno+BIBFORM056796Műszaki tudományokInformatikai tudományokhttp://ami.ektf.hu/uploads/papers/finalpdf/AMI_43_from123to144.pdf2019-01-10