samysweb/nnequiv: v1.1
Teuber, Samuel
1; Kern, Philipp
1
1 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
1; Kern, Philipp
11 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
Abstract:
Fork of nnenum for equivalence checking
| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Forschungsdaten |
| Publikationsjahr | 2024 |
| Identifikator | KITopen-ID: 1000175324 |
| Lizenz | Creative Commons Namensnennung 4.0 International |
| Art der Forschungsdaten | Software |
| Relationen in KITopen |