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