Datensatz

DATENSATZ AKTIONENEXPORT

Zur Ablage hinzufügen

Lokale TagsFreigabegeschichteDetailsÜbersicht

Approximately Bisimilar Symbolic Models for Digital Control Systems

Majumdar, R., & Zamani, M. (2012). Approximately Bisimilar Symbolic Models for Digital Control Systems. In P. Madhusudan, & S. A. Seshia (Eds.), Computer Aided Verification: 24th International Conference, CAV 2012 (pp. 362-377). New York, NY: Springer.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0028-8AF8-3 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0028-8AF9-1

Genre: Konferenzbeitrag

Dateien

einblenden: Dateien

Externe Referenzen

Urheber

ausblenden:

Urheber:
Majumdar, Rupak¹, Autor
Zamani, Majid, Autor
Madhusudan, P., Herausgeber
Seshia, Sanjit A., Herausgeber

Affiliations:
1Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society, ou_2105292

Inhalt

Details

ausblenden:

Sprache(n): eng - English

Datum: Erschienen: 2012

Publikationsstatus: Erschienen

Seiten: -

Ort, Verlag, Ausgabe: -

Inhaltsverzeichnis: -

Art der Begutachtung: -

Identifikatoren: eDoc: 629849
DOI: 10.1007/978-3-642-31424-7_28

Art des Abschluß: -

Veranstaltung

ausblenden:

Titel: CAV 2012

Veranstaltungsort: Berkeley, CA, USA

Start-/Enddatum: 2012-07-07 - 2012-07-13

Entscheidung

Projektinformation

Quelle 1

ausblenden:

Titel: Computer Aided Verification : 24th International Conference, CAV 2012

Genre der Quelle: Konferenzband

Urheber:
Madhusudan, P., Herausgeber
Seshia, Sanjit A., Herausgeber

Affiliations:
-

Ort, Verlag, Ausgabe: New York, NY : Springer

Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 362 - 377 Identifikator: ISBN: 978-3-642-31423-0

Quelle 2

ausblenden:

Titel: Lecture Notes in Computer Science

Genre der Quelle: Reihe

Urheber:

Affiliations:

Ort, Verlag, Ausgabe: -

Seiten: - Band / Heft: 7358 Artikelnummer: - Start- / Endseite: - Identifikator: ISSN: 0302-9743