Kattenbelt, M., Kwiatkowska, M., Norman, G. and Parker, D. (2009) Abstraction refinement for probabilistic software. In: Jones, N.D. and Müller-Olm, M. (eds.) Verification, Model Checking, And Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 : Proceedings. Series: Lecture notes in computer science (5403). Springer, pp. 182-197. ISBN 9783540939009 (doi: 10.1007/978-3-540-93900-9)
Full text not currently available from Enlighten.
Publisher's URL: http://www.springerlink.com/
Item Type: | Book Sections |
---|---|
Status: | Published |
Glasgow Author(s) Enlighten ID: | Norman, Dr Gethin |
Authors: | Kattenbelt, M., Kwiatkowska, M., Norman, G., and Parker, D. |
Subjects: | Q Science > QA Mathematics > QA76 Computer software |
College/School: | College of Science and Engineering > School of Computing Science |
Publisher: | Springer |
ISBN: | 9783540939009 |
University Staff: Request a correction | Enlighten Editors: Update this record