RISC Publications		RISC Report Series		Search		Gröbner Bases Bibliography
Publications & Reports in the frame of project 'Performance Analysis of Real-time Systems and Software Designs '		Technical Reports in the frame of project 'Performance Analysis of Real-time Systems and Software Designs '		Talks in the frame of project 'Performance Analysis of Real-time Systems and Software Designs '

RISC Publications in the frame of project 'Performance Analysis of Real-time Systems and Software Designs '

2014

• Wolfgang Schreiner, Tamas Berczes, Janos Sztrik. Probabilistic Model Checking on HPC Systems for the Performance Analysis of Mobile Networks. Annales Mathematicae et Informaticae 43, pp. 123-144. 2014. Líceum University Press, ISSN 1787-5021, ISSN 1787-6117. [bib]

---

webmaster