Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis : Uppsala, Sweden, 22nd April 2017

Ábrahám, Erika; Bogomolov, Sergiy

doi:2075-2180

Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis : Uppsala, Sweden, 22nd April 2017

Ábrahám, Erika (Editor)^RWTH* ; Bogomolov, Sergiy (Editor)

2017

Verantwortlichkeitsangabeedited by: Erika Ábrahám and Sergiy Bogomolov

Konferenz/Event:3. International Workshop on Symbolic and Numerical Methods for Reachability Analysis , Uppsala , Sweden , SNR , 2017-04-22 - 2017-04-22

Impressum[Waterloo, NSW] : [Open Publishing Association]

Umfang1 Online-Ressource : Illustrationen

ReiheElectronic proceedings in theoretical computer science ; 247

Online
DOI: 10.4204/EPTCS.247
10.4204/EPTCS.247
DOI: 10.48550/arXiv.1704.02421
10.48550/arXiv.1704.02421

Einrichtungen

Thematische Einordnung (Klassifikation)
DDC: 510

External link:

Fulltext by arXiv.org

Dokumenttyp
Proceedings

Format
online

Sprache
English

Externe Identnummern
arXiv: arXiv:1704.02421

Interne Identnummern
RWTH-2018-222875
Datensatz-ID: 720653

Beteiligte Länder
Australia, Germany

Related:

Proceedings/Book Ábrahám, E. (Editor)RWTH* ; Bogomolov, S. (Editor)
Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis : Uppsala, Sweden, 22nd April 2017
20173. International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR, UppsalaUppsala, Sweden, 22 Apr 2017 - 22 Apr 20172017-04-222017-04-22 [Waterloo, NSW] : [Open Publishing Association], Electronic proceedings in theoretical computer science 247, 1 Online-Ressource : Illustrationen (2017)2017 Fulltext BibTeX | EndNote: XML, Text | RIS