Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Time-bounded reachability in distributed input/output interactive probabilistic chains | 3 | 0.38 | 2010 |
| Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains | 5 | 0.46 | 2009 |
| Towards a unified model-based safety assessment | 8 | 0.84 | 2006 |