On reduction criteria for probabilistic reward models

M Groesser, Gethin Norman, C Baier, F Ciesinski, Marta Kwiatkowska, David Parker

Research output: Contribution to conference (unpublished)Paper

8 Citations (Scopus)
Original languageEnglish
Pages309-320
Number of pages12
Publication statusPublished - 1 Jan 2006
EventProceedings of 25th Conference on Foundations of Software Technology and Theoretical Computer Science -
Duration: 1 Jan 2006 → …

Conference

ConferenceProceedings of 25th Conference on Foundations of Software Technology and Theoretical Computer Science
Period1/01/06 → …

Cite this