Datensatz

DATENSATZ AKTIONENEXPORT

Zur Ablage hinzufügen

Lokale TagsFreigabegeschichteDetailsÜbersicht

A Complete Method for the Synthesis of Linear Ranking Functions

Podelski, A., & Rybalchenko, A. (2004). A Complete Method for the Synthesis of Linear Ranking Functions. In Verification, model checking, and abstract interpretation: 5th International Conference, VMCAI 2004 (pp. 239-251). Berlin, Germany: Springer.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-2A01-B Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-2A03-7

Genre: Konferenzbeitrag

Dateien

einblenden: Dateien

Externe Referenzen

Urheber

ausblenden:

Urheber:
Podelski, Andreas¹, Autor
Rybalchenko, Andrey¹, Autor
Levi, Giorgio, Herausgeber
Steffen, Bernhard¹, Herausgeber

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

Inhalt

Details

ausblenden:

Sprache(n): eng - English

Datum: Geändert: 2005-06-17Erschienen: 2004

Publikationsstatus: Erschienen

Seiten: -

Ort, Verlag, Ausgabe: -

Inhaltsverzeichnis: -

Art der Begutachtung: -

Identifikatoren: eDoc: 231979
Anderer: Local-ID: C1256104005ECAFC-265D696D345781D2C1256F8F0048FA80-PR04:LinearRanking

Art des Abschluß: -

Veranstaltung

ausblenden:

Titel: Untitled Event

Veranstaltungsort: Venice, Italy

Start-/Enddatum: 2004-01-11

Entscheidung

Projektinformation

Quelle 1

ausblenden:

Titel: Verification, model checking, and abstract interpretation : 5th International Conference, VMCAI 2004

Genre der Quelle: Konferenzband

Urheber:

Affiliations:

Ort, Verlag, Ausgabe: Berlin, Germany : Springer

Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 239 - 251 Identifikator: ISBN: 3-540-20803-8

Quelle 2

ausblenden:

Titel: Lecture Notes in Computer Science

Genre der Quelle: Reihe

Urheber:

Affiliations:

Ort, Verlag, Ausgabe: -

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