MOHAGHEGHI, Mohammadsadegh; SALEHI, Khayyam. Using Splitter Ordering Heuristics to Improve Bisimulation in Probabilistic Model Checking. Computer Science, [S. l.], v. 26, n. 2, 2025. DOI: 10.7494/csci.2025.26.2.6411. Disponível em: https://journals.agh.edu.pl/csci/article/view/6411. Acesso em: 5 dec. 2025.