PatEC: Pattern-based Equivalence Checking
Titel | PatEC: Pattern-based Equivalence Checking |
Publication Type | Konferenzartikel (erschienen) |
Year of Publication | 2021 |
Authors | Jakobs, M-C |
Conference Name | Proceedings of the 27th International Symposium on Model Checking Software (SPIN) |
Pagination | 120-139 |
Publisher | Springer |
DOI | 10.1007/978-3-030-84629-9_7 |
Undefined