Gianfranco Ciardo, Andrew S. Miner, Min Wan. Advanced features in SMART: the stochastic model checking analyzer for reliability and timing. SIGMETRICS Performance Evaluation Review, 36(4):58-63, 2009. [doi]
@article{CiardoMW09,
title = {Advanced features in SMART: the stochastic model checking analyzer for reliability and timing},
author = {Gianfranco Ciardo and Andrew S. Miner and Min Wan},
year = {2009},
doi = {10.1145/1530873.1530885},
url = {http://doi.acm.org/10.1145/1530873.1530885},
tags = {model checking, meta-model, Meta-Environment, reliability},
researchr = {https://researchr.org/publication/CiardoMW09},
cites = {0},
citedby = {0},
journal = {SIGMETRICS Performance Evaluation Review},
volume = {36},
number = {4},
pages = {58-63},
}