Game−Based Probabilistic Predicate Abstraction in PRISM
প্রধান লেখক: | , , , |
---|---|
বিন্যাস: | Report |
প্রকাশিত: |
Oxford University Computing Laboratory
2008
|
প্রধান লেখক: | , , , |
---|---|
বিন্যাস: | Report |
প্রকাশিত: |
Oxford University Computing Laboratory
2008
|