Publications

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