Discrete-time rewards model-checked (to appear)

S. Andova, H. Hermanns, Joost P. Katoen

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageUndefined
Title of host publicationFormal modeling and analysis of timed systems: FORMATS
EditorsK.G. Larsen, P. Niebert
Place of PublicationBerlin
PublisherSpringer
Pages88-104
Number of pages16
ISBN (Print)3-540-21671-1
Publication statusPublished - 6 Sep 2003
Event1st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2003 - Marseille, France
Duration: 6 Sep 20037 Sep 2003
Conference number: 1

Publication series

Name
NumberVIII
Volume2791
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Workshop

Workshop1st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2003
Abbreviated titleFORMATS
CountryFrance
CityMarseille
Period6/09/037/09/03

Keywords

  • METIS-217627

Cite this

Andova, S., Hermanns, H., & Katoen, J. P. (2003). Discrete-time rewards model-checked (to appear). In K. G. Larsen, & P. Niebert (Eds.), Formal modeling and analysis of timed systems: FORMATS (pp. 88-104). Berlin: Springer.
Andova, S. ; Hermanns, H. ; Katoen, Joost P. / Discrete-time rewards model-checked (to appear). Formal modeling and analysis of timed systems: FORMATS. editor / K.G. Larsen ; P. Niebert. Berlin : Springer, 2003. pp. 88-104
@inproceedings{f8abf6c46d08410998bbbe85a5c1a8d2,
title = "Discrete-time rewards model-checked (to appear)",
keywords = "METIS-217627",
author = "S. Andova and H. Hermanns and Katoen, {Joost P.}",
year = "2003",
month = "9",
day = "6",
language = "Undefined",
isbn = "3-540-21671-1",
publisher = "Springer",
number = "VIII",
pages = "88--104",
editor = "K.G. Larsen and P. Niebert",
booktitle = "Formal modeling and analysis of timed systems: FORMATS",

}

Andova, S, Hermanns, H & Katoen, JP 2003, Discrete-time rewards model-checked (to appear). in KG Larsen & P Niebert (eds), Formal modeling and analysis of timed systems: FORMATS. Springer, Berlin, pp. 88-104, 1st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, Marseille, France, 6/09/03.

Discrete-time rewards model-checked (to appear). / Andova, S.; Hermanns, H.; Katoen, Joost P.

Formal modeling and analysis of timed systems: FORMATS. ed. / K.G. Larsen; P. Niebert. Berlin : Springer, 2003. p. 88-104.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - Discrete-time rewards model-checked (to appear)

AU - Andova, S.

AU - Hermanns, H.

AU - Katoen, Joost P.

PY - 2003/9/6

Y1 - 2003/9/6

KW - METIS-217627

M3 - Conference contribution

SN - 3-540-21671-1

SP - 88

EP - 104

BT - Formal modeling and analysis of timed systems: FORMATS

A2 - Larsen, K.G.

A2 - Niebert, P.

PB - Springer

CY - Berlin

ER -

Andova S, Hermanns H, Katoen JP. Discrete-time rewards model-checked (to appear). In Larsen KG, Niebert P, editors, Formal modeling and analysis of timed systems: FORMATS. Berlin: Springer. 2003. p. 88-104