On Application of Multi-Rooted Binary Decision Diagrams to Probabilistic Model Checking
From MaRDI portal
Publication:2891405
DOI10.1007/978-3-642-27940-9_8zbMath1325.68142MaRDI QIDQ2891405
Publication date: 15 June 2012
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-27940-9_8
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Uses Software
Cites Work