Logic and stochastic modeling with S m A r T.

Gianfranco Ciardo R. L. Jones III Andrew S. Miner Radu Siminiceanu Logic and stochastic modeling with S m A r T. 578-608 2006 63 Perform. Eval. 6 http://dx.doi.org/10.1016/j.peva.2005.06.001 db/journals/pe/pe63.html#CiardoJMS06