Multiphase until formulas over Markov reward models: An algebraic approach

There is no fulltext present in this item.

Title:	Multiphase until formulas over Markov reward models: An algebraic approach
Author(s):	Xu, M.; Zhang, L.; Jansen, D.N.; Zhu, H.; Yang, Z
Publication year:	2016
Source:	Theoretical Computer Science, vol. 611, (2016), pp. 116-135
ISSN:	0304-3975
DOI:	http://dx.doi.org/10.1016/j.tcs.2015.07.047
Publication type:	Article / Letter to editor
Please use this identifier to cite or link to this item : http://hdl.handle.net/2066/155756
Display more details
Subject:	Software Science
Organization:	Software Science
Journal title:	Theoretical Computer Science
Volume:	vol. 611
Page start:	p. 116
Page end:	p. 135