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
URL: http://eptcs.web.cse.unsw.edu.au/content.cgi?SNR2017

Einrichtungen

Thematische Einordnung (Klassifikation)
DDC: 510

External link:

Fulltext

Dokumenttyp
Proceedings/Book

Format
online

Sprache
English

Interne Identnummern
RWTH-2018-01212
Datensatz-ID: 713497

Beteiligte Länder
Australia, Germany

Related:

Contribution to a book/Contribution to a conference proceedings (Foreword) Ábrahám, E.RWTH* ; Bogomolov, S.
Preface
2017Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis : Uppsala, Sweden, 22nd April 2017 / edited by: Erika Ábrahám and Sergiy Bogomolov
3. 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, (2017)2017 Fulltext BibTeX | EndNote: XML, Text | RIS

Proceedings Á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) [10.48550/arXiv.1704.02421]2017 arXiv Fulltext by arXiv.org BibTeX | EndNote: XML, Text | RIS