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