> Detailanzeige

Ábrahám, Erika [Herausgeber:in]; Bogomolov, Sergiy [Herausgeber:in] ; International Workshop on Symbolic and Numerical Methods for Reachability Analysis 3. 2017 Uppsala, Open Publishing Association

Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis

Literatur-
verwaltung

Zur
Merkliste

Lösche von
Merkliste

Per Whatsapp teilen

Schließen

Merkliste



Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
  • Medientyp: E-Book; Konferenzbericht
  • Titel: Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis : Uppsala, Sweden, 22nd April 2017
  • Beteiligte: Ábrahám, Erika [Herausgeber:in]; Bogomolov, Sergiy [Herausgeber:in]
  • Körperschaft: Open Publishing Association
  • Erschienen: [Waterloo, NSW]: [Open Publishing Association], 8th April 2017
  • Erschienen in: Electronic proceedings in theoretical computer science ; 247
  • Umfang: 1 Online-Ressource; Illustrationen
  • Sprache: Englisch
  • DOI: 10.4204/EPTCS.247
  • Identifikator:
  • Schlagwörter: Konferenzschrift
  • Entstehung:
  • Anmerkungen: Literaturangaben
    "This volume contains the papers presented at SNR 2017, the 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis. The workshop was held ... as a satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS 2017)." - Vorwort
  • Zugangsstatus: Freier Zugang