TY  - RPRT
TI  - Probabilistic Model Checking of DTMC Models of User Activity Patterns
AU  - Oana Andrei
AU  - Muffy Calder
AU  - Matthew Higgs
AU  - Mark Girolami
PY  - 2014
UR  - https://arxiv.org/abs/1403.6678
ID  - 1403.6678
ER  -