> Details

Ábrahám, Erika [Editor]; Bogomolov, Sergiy [Editor] ; 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

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: E-Book; Conference Proceedings
  • Title: Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis : Uppsala, Sweden, 22nd April 2017
  • Contributor: Ábrahám, Erika [Editor]; Bogomolov, Sergiy [Editor]
  • Corporation: Open Publishing Association
  • Published: [Waterloo, NSW]: [Open Publishing Association], 8th April 2017
  • Published in: Electronic proceedings in theoretical computer science ; 247
  • Extent: 1 Online-Ressource; Illustrationen
  • Language: English
  • DOI: 10.4204/EPTCS.247
  • Identifier:
  • Keywords: Konferenzschrift
  • Origination:
  • Footnote: 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
  • Access State: Open Access