Evaluating a probabilistic model checker for modeling and analyzing retrial queueing systems

A tétel rövid nézete
dc.contributor.authorBérczes, Tamás
dc.contributor.authorGuta, Gábor
dc.contributor.authorKusper, Gábor
dc.contributor.authorSchreiner, Wolfgang
dc.contributor.authorSztrik, János
dc.date.accessioned2011-01-05T10:34:33Z
dc.date.available2011-01-05T10:34:33Z
dc.date.issued2010
dc.date.pasync2019-01-10T01:30:48Z
dc.date.updated2019-01-10T01:30:48Z
dc.identifier.citationAnnales Mathematicae et Informaticae. -2010 : 37 (2010), p. 51-75. - Ann. Math. Inform. - 1787-5021. - 1787-6117
dc.identifier.issn1787-5021
dc.identifier.issn1787-6117
dc.identifier.opachttp://webpac.lib.unideb.hu:8082/ebib/CorvinaWeb?action=cclfind&resultview=long&ccltext=idno+BIBFORM012764hu
dc.identifier.urihttp://hdl.handle.net/2437/101370
dc.languageeng
dc.rights.accessopen access journal
dc.subject.mabTermészettudományok
dc.subject.mabMatematika- és számítástudományok
dc.titleEvaluating a probabilistic model checker for modeling and analyzing retrial queueing systems
dc.typefolyóiratcikk
dc.typeidegen nyelvű folyóiratközlemény hazai lapban
Fájlok
Eredeti köteg (ORIGINAL bundle)
Megjelenítve 1 - 1 (Összesen 1)
Nincs kép
Név:
postfile_up_AMI_Sztrik2010.pdf
Méret:
324.54 KB
Formátum:
Adobe Portable Document Format
Leírás:
Kiadói változat
Letöltés
Gyűjtemények
Publikációs Adatbázis