Fahrenberg, Uli; Legay, Axel; Quaas, Karin Computing branching distances with quantitative games. (English) Zbl 1464.68239 Theor. Comput. Sci. 847, 134-146 (2020). MSC: 68Q85 68Q45 68Q60 91A80 PDFBibTeX XMLCite \textit{U. Fahrenberg} et al., Theor. Comput. Sci. 847, 134--146 (2020; Zbl 1464.68239) Full Text: DOI
de Putter, Sander; Wijs, Anton A formal verification technique for behavioural model-to-model transformations. (English) Zbl 1380.68286 Formal Asp. Comput. 30, No. 1, 3-43 (2018). MSC: 68Q60 68N30 68Q85 PDFBibTeX XMLCite \textit{S. de Putter} and \textit{A. Wijs}, Formal Asp. Comput. 30, No. 1, 3--43 (2018; Zbl 1380.68286) Full Text: DOI