Publisher
Springer Nature Switzerland
Reference20 articles.
1. Mace4. https://www.cs.unm.edu/%7Emccune/mace4/. [Online; accessed 18-March-2024]
2. Mace4MatrixBisimulations. https://rolandglueck.de/Downloads/Mace4MatrixBisimulations.zip. [Online; accessed 18-March-2024]
3. C. Baier and J-P. Katoen. Principles of Model Checking. MIT Press, 2008
4. Bellman, R.: On a routing problem. Quaterly of Applied Mathematics 16(1), 87–90 (1958)
5. Buchholz, P.: Bisimulation relations for weighted automata. Theor. Comput. Sci. 393(1–3), 109–123 (2008)