Parametric Timed Bisimulation
| Titel | Parametric Timed Bisimulation |
| Publication Type | Konferenzartikel (erschienen) |
| Year of Publication | 2020 |
| Authors | Lochau, M, Luthmann, L, Göttmann, H, Bacher, I |
| Conference Name | Proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA) |
| Pagination | 55-71 |
| Publisher | Springer |
| DOI | 10.1007/978-3-030-61470-6_5 |
Undefined