de.mpg.escidoc.pubman.appbase.FacesBean
Deutsch
 
Hilfe Wegweiser Datenschutzhinweis Impressum Kontakt
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
  Constraint-based Deductive Model Checking

Delzanno, G., & Podelski, A. (2001). Constraint-based Deductive Model Checking. International Journal on Software Tools for Technology Transfer (STTT), 3(3), 250-270.

Item is

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: http://hdl.handle.net/11858/00-001M-0000-000F-31FA-9 Versions-Permalink: http://hdl.handle.net/11858/00-001M-0000-000F-31FB-7
Genre: Zeitschriftenartikel

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Delzanno, Giorgio1, Autor              
Podelski, Andreas1, Autor              
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, escidoc:40045              

Inhalt

einblenden:

Details

einblenden:
ausblenden:
Sprache(n): eng - Englisch
 Datum: 2010-03-122001
 Publikationsstatus: Im Druck publiziert
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: Expertenbegutachtung
 Identifikatoren: eDoc: 519845
Anderer: Local-ID: C1256104005ECAFC-658C5C0C981C0C84C1256D0A0033BA24-DP-STTT01
 Art des Abschluß: -

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: International Journal on Software Tools for Technology Transfer (STTT)
Genre der Quelle: Zeitschrift
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 3 (3) Artikelnummer: - Start- / Endseite: 250 - 270 Identifikator: -