Beyer, Dirk
ORCID: https://orcid.org/0000-0003-4832-7662; Lee, Nian-Ze ORCID: https://orcid.org/0000-0002-8096-5595 und Wendler, Philipp ORCID: https://orcid.org/0000-0002-5139-341X
(2025):
Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification.
In: Journal of Automated Reasoning, Bd. 69, Nr. 1, 5
[PDF, 981kB]
Vorschau
| Dokumententyp: | Zeitschriftenartikel |
|---|---|
| Fakultät: | Mathematik, Informatik und Statistik > Informatik |
| Themengebiete: | 000 Informatik, Informationswissenschaft, allgemeine Werke > 004 Informatik |
| URN: | urn:nbn:de:bvb:19-epub-129026-1 |
| ISSN: | 0168-7433 |
| Sprache: | Englisch |
| Dokumenten ID: | 129026 |
| Datum der Veröffentlichung auf Open Access LMU: | 24. Okt. 2025 11:56 |
| Letzte Änderungen: | 24. Okt. 2025 11:56 |
- Dokument bearbeiten
