Christian Appold
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Improving BDD based symbolic model checking with isomorphism exploiting transition relations (available as arXiv preprint) | 2021-03-03 | Paper |
| Improving BDD based symbolic model checking with isomorphism exploiting transition relations | 2021-03-03 | Paper |
| Efficient symmetry reduction and the use of state symmetries for symbolic model checking | 2021-02-16 | Paper |
Research outcomes over time
This page was built for person: Christian Appold
