B.: Hierarchical counterexamples for discrete-time Markov chains (2011)

by N Jansen, E Ábrahám, J Katelaan, R Wimmer, J P Katoen, Becker
Venue:In: Proc. of ATVA. Vol. 6996 of LNCS