Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 DetailsÜbersicht
  Exact and Fully Symbolic Verification of Linear Hybrid Automata with Large Discrete State Spaces

Damm, W., Dierks, H., Disch, S., Hagemann, W., Pigorsch, F., Scholl, C., et al. (2012). Exact and Fully Symbolic Verification of Linear Hybrid Automata with Large Discrete State Spaces. Science of Computer Programming, 77, 1122-1150. doi:10.1016/j.scico.2011.07.006.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0010-14F1-8 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0019-87C8-3
Genre: Zeitschriftenartikel

Dateien

einblenden: Dateien
ausblenden: Dateien
:
DDD+2010.pdf (Verlagsversion), 340KB
 
Datei-Permalink:
-
Name:
DDD+2010.pdf
Beschreibung:
-
OA-Status:
Sichtbarkeit:
Privat
MIME-Typ / Prüfsumme:
application/pdf
Technische Metadaten:
Copyright Datum:
-
Copyright Info:
-
Lizenz:
-

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Damm, Werner1, Autor
Dierks, Henning1, Autor
Disch, Stefan1, Autor
Hagemann, Willem2, Autor           
Pigorsch, Florian1, Autor
Scholl, Christoph1, Autor
Waldmann, Uwe2, Autor           
Wirtz, Boris1, Autor
Affiliations:
1External Organizations, ou_persistent22              
2Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Inhalt

einblenden:

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2011-07-202012
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 619009
DOI: 10.1016/j.scico.2011.07.006
URI: http://dx.doi.org/10.1016/j.scico.2011.07.006
Anderer: Local-ID: C125716C0050FB51-84433C7FC34FC48BC125781B004BC664-DammDierksDischEtAl2011
 Art des Abschluß: -

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Science of Computer Programming
Genre der Quelle: Zeitschrift
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: Amsterdam : Elsevier
Seiten: - Band / Heft: 77 Artikelnummer: - Start- / Endseite: 1122 - 1150 Identifikator: ISSN: 0167-6423