Items where authors include "Deininger, D."

Proceedings Paper

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