Symbolic model checking for factored probabilistic models

Deininger, D., Dimitrova, R. and Majumdar, R. (2016) Symbolic model checking for factored probabilistic models. In: Artho, C., Legay, A. and Peled, D., (eds.) Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016. Automated Technology for Verification and Analysis, 17-20 Oct 2016, Chiba, Japan. Lecture Notes in Computer Science (9938). Springer , pp. 444-460. ISBN 9783319465197

Abstract

Metadata

Item Type: Proceedings Paper
Authors/Creators:
  • Deininger, D.
  • Dimitrova, R.
  • Majumdar, R.
Editors:
  • Artho, C.
  • Legay, A.
  • Peled, D.
Copyright, Publisher and Additional Information:

© 2016 Springer International Publishing.

Dates:
  • Published: 22 September 2016
  • Published (online): 22 September 2016
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 04 Feb 2020 12:10
Last Modified: 04 Feb 2020 12:10
Status: Published
Publisher: Springer
Series Name: Lecture Notes in Computer Science
Refereed: Yes
Identification Number: 10.1007/978-3-319-46520-3_28
Open Archives Initiative ID (OAI ID):

Download not available

A full text copy of this item is not currently available from White Rose Research Online

Export

Statistics