Datensatz

DATENSATZ AKTIONENEXPORT

Zur Ablage hinzufügen

Lokale TagsFreigabegeschichteDetailsÜbersicht

Model Checking for Communication Protocols

Argon, P., Delzanno, G., Mukhopadhyay, S., & Podelski, A. (2001). Model Checking for Communication Protocols. In L. Pacholski, & P. Ruzicka (Eds.), Proceedings of the 28th Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM-2001) (pp. 160-170). Berlin, Germany: Springer.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3224-3 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3226-0

Genre: Konferenzbeitrag

Dateien

einblenden: Dateien

Externe Referenzen

Urheber

ausblenden:

Urheber:
Argon, Pablo, Autor
Delzanno, Giorgio¹, Autor
Mukhopadhyay, Supratik¹, Autor
Podelski, Andreas¹, Autor

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

Inhalt

Details

ausblenden:

Sprache(n): eng - English

Datum: Geändert: 2010-03-12Erschienen: 2001

Publikationsstatus: Erschienen

Seiten: -

Ort, Verlag, Ausgabe: -

Inhaltsverzeichnis: -

Art der Begutachtung: -

Identifikatoren: eDoc: 519813
Anderer: Local-ID: C1256104005ECAFC-C5348B44C2FA0D04C1256A81007AF9FB-ArgonEtAlSofSem2001

Art des Abschluß: -

Veranstaltung

ausblenden:

Titel: Untitled Event

Veranstaltungsort: Piestany, Slovak Republic

Start-/Enddatum: 2001

Entscheidung

Projektinformation

Quelle 1

ausblenden:

Titel: Proceedings of the 28th Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM-2001)

Genre der Quelle: Konferenzband

Urheber:
Pacholski, Leszek¹, Herausgeber
Ruzicka, Peter, Herausgeber

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

Ort, Verlag, Ausgabe: Berlin, Germany : Springer

Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 160 - 170 Identifikator: ISBN: 3-540-42912-3

Quelle 2

ausblenden:

Titel: Lecture Notes in Computer Science

Genre der Quelle: Reihe

Urheber:

Affiliations:

Ort, Verlag, Ausgabe: -

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