Details for the publication Xu0JZY16.

Ming Xu, Lijun Zhang, David N. Jansen (), Huibiao Zhu, Zongyuan Yang: Multiphase until formulas over Markov reward models: An algebraic approach. In Theor. Comput. Sci. 611:116-135, 2016. DOI BIB