Evaluating a probabilistic model checker for modeling and analyzing retrial queueing systems
Dátum
2010
Folyóirat címe
Folyóirat ISSN
Kötet címe (évfolyam száma)
Kiadó
Absztrakt
Leírás
Kulcsszavak
Természettudományok, Matematika- és számítástudományok
Jogtulajdonos
URL
Jelzet
Egyéb azonosító
Forrás
Annales Mathematicae et Informaticae. -2010 : 37 (2010), p. 51-75. - Ann. Math. Inform. - 1787-5021. - 1787-6117