Lumping-based equivalences in Markovian automata: algorithms and applications to product-form analyses
scientific article; zbMATH DE number 6876406
scientific article