Computing Distances between Reach Flowpipes

Majumdar, Rupak; Prabhu, Vinayak

doi:10.1145/2883817.2883850

Lokale TagsFreigabegeschichteDetailsÜbersicht

Computing Distances between Reach Flowpipes

Majumdar, R., & Prabhu, V. (2016). Computing Distances between Reach Flowpipes. In HSCC'16 (pp. 267-276). New York, NY: ACM. doi:10.1145/2883817.2883850.

Item is Freigegeben

einblenden: alle

Basisdaten

ausblenden:

Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-002C-EABD-3 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-002C-EABE-1

Genre: Konferenzbeitrag

Dateien

einblenden: Dateien

Externe Referenzen

einblenden:

Urheber

ausblenden:

Urheber:
Majumdar, Rupak¹, Autor
Prabhu, Vinayak¹, Autor

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

Inhalt

einblenden:

Details

ausblenden:

Sprache(n): eng - English

Datum: Online veröffentlicht: 2016Erschienen: 2016

Publikationsstatus: Erschienen

Seiten: -

Ort, Verlag, Ausgabe: -

Inhaltsverzeichnis: -

Art der Begutachtung: -

Identifikatoren: BibTex Citekey: MajumdarPrabhu2016
DOI: 10.1145/2883817.2883850

Art des Abschluß: -

Veranstaltung

ausblenden:

Titel: 19th International Conference on Hybrid Systems: Computation and Control

Veranstaltungsort: Vienna, Austria

Start-/Enddatum: 2016-04-12 - 2016-04-14

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

ausblenden:

Titel: HSCC'16

Untertitel : Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control

Kurztitel : HSCC 2016

Genre der Quelle: Konferenzband

Urheber:

Affiliations:

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

Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 267 - 276 Identifikator: ISBN: 978-1-4503-3955-1