Software (theme 1)
Springer
Lecture Notes in Computer Science
International Symposium on Mathematical Foundations of Computer Science
This work was funded by the The Netherlands Organisation for Scientific Research (NWO); grant id nwo/612.001.210 - Enhancing efficiency and expressiveness of the coinduction proof method
Computer Security

Salamanca Tellez, J.R, Bonsangue, M.M, & Rutten, J.J.M.M. (2015). Equations and Coequations for Weighted Automata. In Proceedings of International Symposium on Mathematical Foundations of Computer Science 2015 (MFCS 0) (pp. 1–21). Springer.