Abstraction refinement for probabilistic software

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