TY  - RPRT
TI  - Bounded Satisfiability for PCTL
AU  - Nathalie Bertrand
AU  - John Fearnley
AU  - Sven Schewe
PY  - 2012
UR  - https://arxiv.org/abs/1204.0469
ID  - 1204.0469
ER  -