Publisher
Springer Nature Switzerland
Reference46 articles.
1. Lecture Notes in Computer Science;M Kwiatkowska,2011
2. Hensel, C., Junges, S., Katoen, J.-P., Quatmann, T., Volk, M.: The probabilistic model checker storm. Int. J. Softw. Tools Technol. Transfer 24, 1–22 (2022)
3. Alur, R., Henzinger, T.A.: Reactive modules. Formal Methods Syst. Des. 15(1), 7–48 (1999). https://doi.org/10.1023/A:1008739929481
4. Lecture Notes in Computer Science;CE Budde,2021
5. Reynouard, R.: Jajapy github repository (2022). https://github.com/Rapfff/jajapy