TY  - RPRT
TI  - Model Checking with Probabilistic Tabled Logic Programming
AU  - Andrey Gorlin
AU  - C. R. Ramakrishnan
AU  - Scott A. Smolka
PY  - 2012
UR  - https://arxiv.org/abs/1204.4736
ID  - 1204.4736
ER  -