On reduction criteria for probabilistic reward models

Groesser, M., Norman, G. , Baier, C., Ciesinski, F., Kwiatkowska, M. and Parker, D. (2006) On reduction criteria for probabilistic reward models. In: Arun-Kumar, S. and Garg, N. (eds.) Foundations of Software Technology and Theoretical Computer Science (FSTTCS'06). Series: Lecture notes in computer science (4337). Springer Verlag, pp. 309-320. ISBN 9783540499954 (doi:10.1007/11944836_29)

Full text not currently available from Enlighten.


Item Type:Book Sections
Status:Published
Glasgow Author(s) Enlighten ID:Norman, Dr Gethin
Authors: Groesser, M., Norman, G., Baier, C., Ciesinski, F., Kwiatkowska, M., and Parker, D.
Subjects:Q Science > QA Mathematics > QA75 Electronic computers. Computer science
College/School:College of Science and Engineering > School of Computing Science
Publisher:Springer Verlag
ISBN:9783540499954

University Staff: Request a correction | Enlighten Editors: Update this record