"An abstraction-guided simulation approach using Markov models for ..."

Tao Zhang, Tao Lv, Xiaowei Li (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics