Stuttering for Abstract Probabilistic Automata

Benoît Delahaye, Kim G. Larsen, Axel Legay. Stuttering for Abstract Probabilistic Automata. Journal of Logic and Algebraic Programming, 83(1):1-19, 2014. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: