Matthew Higgs

Identifiers

No identifiers captured yet.

Papers (1)

1. Probabilistic Model Checking of DTMC Models of User Activity Patterns cs.SE · 2014 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Mark Girolami 1 shared papers
• Muffy Calder 1 shared papers
• Oana Andrei 1 shared papers