Datensatz

DATENSATZ AKTIONENEXPORT

DownloadE-Mail

Lokale TagsFreigabegeschichteDetailsÜbersicht

Relative Completeness of Abstraction Refinement for Software Model Checking

Podelski, A., Ball, T., & Rajamani, S. K. (2002). Relative Completeness of Abstraction Refinement for Software Model Checking. In Tools and algorithms for the construction and analysis of systems: 8th International Conference, TACAS 2002 (pp. 158-172). Berlin, Germany: Springer.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3058-0 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-305B-A

Genre: Konferenzbeitrag

Dateien

einblenden: Dateien

Externe Referenzen

Urheber

ausblenden:

Urheber:
Podelski, Andreas¹, Autor
Ball, Tom, Autor
Rajamani, Sriram K., Autor
Kaoen, Joost-Pieter, Herausgeber
Stevens, Perdita, Herausgeber

Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045

Inhalt

Details

ausblenden:

Sprache(n): eng - English

Datum: Geändert: 2003-09-01Erschienen: 2002

Publikationsstatus: Erschienen

Seiten: -

Ort, Verlag, Ausgabe: -

Inhaltsverzeichnis: -

Art der Begutachtung: -

Identifikatoren: eDoc: 202162
Anderer: Local-ID: C1256104005ECAFC-13C94791C65D700CC1256D09004F7FE2-BPR-Tacas03

Art des Abschluß: -

Veranstaltung

ausblenden:

Titel: TACAS 2002

Veranstaltungsort: Grenoble, France

Start-/Enddatum: 2002-04-08 - 2002-04-12

Entscheidung

Projektinformation

Quelle 1

ausblenden:

Titel: Tools and algorithms for the construction and analysis of systems : 8th International Conference, TACAS 2002

Genre der Quelle: Konferenzband

Urheber:

Affiliations:

Ort, Verlag, Ausgabe: Berlin, Germany : Springer

Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 158 - 172 Identifikator: ISBN: 3-540-43419-4

Quelle 2

ausblenden:

Titel: Lecture Notes in Computer Science

Genre der Quelle: Reihe

Urheber:

Affiliations:

Ort, Verlag, Ausgabe: -

Seiten: - Band / Heft: 2280 Artikelnummer: - Start- / Endseite: - Identifikator: -