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]
No references recorded for this publication.
No citations of this publication recorded.