Towards Formal Evaluation and Verification of Probabilistic Design
Journal
IEEE Transactions on Computers
Journal Volume
67
Journal Volume
67
Journal Issue
8
Journal Issue
8
Pages
1153-1165
Start Page
1202
End Page
1216
Date Issued
2018
Author(s)
Type
journal article