Interactive Markov Chains : The Quest for Quantified Quality, LNCS 2428 (2002)

by H Hermanns