On the Probabilistic Model Checking of a Retrial Queuing System with Unreliable Server, Collision, and Constant Time Impatience.

Research output: Working paper and reports › Preprint

Original language	English
Place of Publication	Hagenberg, Linz, Austria
Publisher	Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz
Number of pages	22
Publication status	Published - Jul 2019

Name	RISC Report Series
No.	19-11

Fields of science

@techreport{11d9485f555c4053ba13f5ab98c5a66b,

title = "On the Probabilistic Model Checking of a Retrial Queuing System with Unreliable Server, Collision, and Constant Time Impatience.",

author = "Wolfgang Schreiner and Janos Sztrik",

year = "2019",

month = jul,

language = "English",

series = "RISC Report Series",

publisher = "Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz",

number = "19-11",

type = "WorkingPaper",

institution = "Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz",

}

On the Probabilistic Model Checking of a Retrial Queuing System with Unreliable Server, Collision, and Constant Time Impatience. / Schreiner, Wolfgang; Sztrik, Janos.
Hagenberg, Linz, Austria: Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, 2019. (RISC Report Series; No. 19-11).

Research output: Working paper and reports › Preprint

TY - UNPB

T1 - On the Probabilistic Model Checking of a Retrial Queuing System with Unreliable Server, Collision, and Constant Time Impatience.

AU - Schreiner, Wolfgang

AU - Sztrik, Janos

PY - 2019/7

Y1 - 2019/7

M3 - Preprint

T3 - RISC Report Series

BT - On the Probabilistic Model Checking of a Retrial Queuing System with Unreliable Server, Collision, and Constant Time Impatience.

PB - Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz

CY - Hagenberg, Linz, Austria

ER -