Publications

Found 1 results
Filters: Autor is Isabelle Bacher  [Clear All Filters]
2020
M. Lochau, Luthmann, L., Göttmann, H., und Bacher, I., „Parametric Timed Bisimulation“, in Proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA), 2020, S. 55-71.