Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse
  1. Datensatz Übersicht / 
  2. Datensatz ansehen

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Edit Distance for Timed Automata

Chatterjee, K., Ibsen-Jensen, R., & Majumdar, R. (2014). Edit Distance for Timed Automata. In HSCC'14 (pp. 302-312). New York, NY: ACM. doi:10.1145/2562059.2562141.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0026-ABEE-F Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0026-ABEF-D
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Chatterjee, Krishnendu1, Autor
Ibsen-Jensen, Rasmus1, Autor
Majumdar, Rupak2, Autor           
Affiliations:
1External Organizations, ou_persistent22              
2Group R.Majumdar, Max Planck Institute for Software Systems, Max Planck Society, ou_2105292              

Inhalt

einblenden:

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 20142014
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: DOI: 10.1145/2562059.2562141
BibTex Citekey: DBLP:conf/hybrid/ChatterjeeIM14
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: 17th International Conference on Hybrid Systems
Veranstaltungsort: Berlin, Germany
Start-/Enddatum: 2014-04-15 - 2014-04-17

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: HSCC'14
  Kurztitel : HSCC 2014
  Untertitel : Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control
Genre der Quelle: Konferenzband
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: New York, NY : ACM
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 302 - 312 Identifikator: ISBN: 978-1-4503-2732-9