R. L. Jones III

Publication Activity (10 Years)

Years Active: 2002-2006
Publications (10 Years): 0

Publications

Gianfranco Ciardo, R. L. Jones III, Andrew S. Miner, Radu Siminiceanu
Logic and stochastic modeling with S m A r T. Perform. Evaluation 63 (6) (2006)
Gianfranco Ciardo, R. L. Jones III, Andrew S. Miner, Radu Siminiceanu
Logical and Stochastic Modeling with SMART. Computer Performance Evaluation / TOOLS (2003)
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)