Login / Signup
Lazy Decision Diagrams for Word-Level Model Manipulation in Software Verification.
Farn Wang
Published in:
TASE (2010)
Keyphrases
</>
probabilistic model
graphical models
machine vision