Wolfgang Schreiner, Janos Sztrik,
"On the Probabilistic Model Checking of a Retrial Queuing System with Unreliable Server, Collision, and Constant Time Impatience."
, Serie RISC Report Series, Nummer 19-11, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Hagenberg, Linz, Austria, 7-2019
Original Titel:
On the Probabilistic Model Checking of a Retrial Queuing System with Unreliable Server, Collision, and Constant Time Impatience.
Sprache des Titels:
Englisch
Veröffentlicher:
Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz
Forschungs-