Affordable Access

Probabilistic Model Checking of DTMC Models of User Activity Patterns

Authors
Type
Preprint
Publication Date
Submission Date
Identifiers
arXiv ID: 1403.6678
Source
arXiv
External links

Abstract

There are no comments yet on this publication. Be the first to share your thoughts.

Statistics

Seen <100 times
0 Comments