Publisher
Springer International Publishing
Reference22 articles.
1. Baier, C., Katoen, J.: Principles of Model Checking. MIT Press, Cambridge (2008)
2. Bergami, G., Maggi, F.M., Montali, M., Peñaloza, R.: Probabilistic trace alignment. In: ICPM, pp. 9–16. IEEE (2021)
3. Lecture Notes in Business Information Processing;G Bergami,2021
4. Bruni, R., Melgratti, H.C., Montanari, U.: Concurrency and probability: removing confusion, compositionally. Log. Methods Comput. Sci. 15(4) (2019)
5. Burke, A., Leemans, S., Wynn, M.: Stochastic process discovery by weight estimation. In: PQMI (2020)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献