 | 2006 |
|---|
| 3 |       | Gianfranco Ciardo,
R. L. Jones III,
Andrew S. Miner,
Radu Siminiceanu:
Logic and stochastic modeling with S m A r T.
Perform. Eval. 63(6): 578-608 (2006) |
| 2003 |
|---|
| 2 | | Gianfranco Ciardo,
R. L. Jones III,
Andrew S. Miner,
Radu Siminiceanu:
Logical and Stochastic Modeling with SMART.
Computer Performance Evaluation / TOOLS 2003: 78-97 |
| 2002 |
|---|
| 1 | | Gianfranco Ciardo,
R. L. Jones III,
Robert M. Marmorstein,
Andrew S. Miner,
Radu Siminiceanu:
SMART: Stochastic Model-checking Analyzer for Reliability and Timing.
DSN 2002: 545 |
