On reduction criteria for probabilistic reward models

Research output: Contribution to conference (unpublished) › Paper

8 Citations (Scopus)

Original language	English
Pages	309-320
Number of pages	12
Publication status	Published - 1 Jan 2006
Event	Proceedings of 25th Conference on Foundations of Software Technology and Theoretical Computer Science - Duration: 1 Jan 2006 → …

Conference	Proceedings of 25th Conference on Foundations of Software Technology and Theoretical Computer Science
Period	1/01/06 → …

Cite this

@conference{c5ff8900b14c40da9f2eb298051b3755,

title = "On reduction criteria for probabilistic reward models",

author = "M Groesser and Gethin Norman and C Baier and F Ciesinski and Marta Kwiatkowska and David Parker",

year = "2006",

month = jan,

day = "1",

language = "English",

pages = "309--320",

note = "Proceedings of 25th Conference on Foundations of Software Technology and Theoretical Computer Science ; Conference date: 01-01-2006",

}

TY - CONF

T1 - On reduction criteria for probabilistic reward models

AU - Groesser, M

AU - Norman, Gethin

AU - Baier, C

AU - Ciesinski, F

AU - Kwiatkowska, Marta

AU - Parker, David

PY - 2006/1/1

Y1 - 2006/1/1

M3 - Paper

SP - 309

EP - 320

T2 - Proceedings of 25th Conference on Foundations of Software Technology and Theoretical Computer Science

Y2 - 1 January 2006

ER -