Összes letöltés a DEA-ból: 13
| Ország | Letöltések |
|---|---|
| Egyesült Államok (US) | 7 |
| Németország (DE) | 4 |
| Kína (CN) | 2 |
| Megjelenés | Publikáció | Fájlletöltések |
|---|---|---|
| 2010 | Bérczes, T., Guta, G., Kusper, G., Schreiner, W., Sztrik, J.: Evaluating a probabilistic model checker for modeling and analyzing retrial queueing systems. Ann. Math. Inform. 2010 (37), 51-75, 2010. Teljes szöveg: https://hdl.handle.net/2437/101370 Folyóirat-mutatók:
Q2 Computer Science (miscellaneous) Q3 Mathematics (miscellaneous) | Kiadói változat: 13 |