Deciding probabilistic automata weak bisimulation: theory and practice
scientific article; zbMATH DE number 6579512
scientific article