Probabilistic weak simulation is decidable in polynomial time

C Baier, H. Hermanns, Joost P. Katoen

Research output: Contribution to journalArticleAcademicpeer-review

Original languageUndefined
Pages (from-to)123-140
JournalInformation processing letters
Volume89
Issue number3
Publication statusPublished - 2004

Keywords

  • METIS-220875

Cite this

@article{d21e5eab375c43e09c22dd133cbf3edb,
title = "Probabilistic weak simulation is decidable in polynomial time",
keywords = "METIS-220875",
author = "C Baier and H. Hermanns and Katoen, {Joost P.}",
year = "2004",
language = "Undefined",
volume = "89",
pages = "123--140",
journal = "Information processing letters",
issn = "0020-0190",
publisher = "Elsevier",
number = "3",

}

Probabilistic weak simulation is decidable in polynomial time. / Baier, C; Hermanns, H.; Katoen, Joost P.

In: Information processing letters, Vol. 89, No. 3, 2004, p. 123-140.

Research output: Contribution to journalArticleAcademicpeer-review

TY - JOUR

T1 - Probabilistic weak simulation is decidable in polynomial time

AU - Baier, C

AU - Hermanns, H.

AU - Katoen, Joost P.

PY - 2004

Y1 - 2004

KW - METIS-220875

M3 - Article

VL - 89

SP - 123

EP - 140

JO - Information processing letters

JF - Information processing letters

SN - 0020-0190

IS - 3

ER -