> Details

Bak, Stanley [Author]; Beg, Omar Ali [Author]; Bogomolov, Sergiy [Author]; Johnson, Taylor T. [Author]; Nguyen, Luan Viet [Author]; Schilling, Christian [Author]

Hybrid automata: from verification to implementation

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-Article
  • Title: Hybrid automata: from verification to implementation
  • Contributor: Bak, Stanley [Author]; Beg, Omar Ali [Author]; Bogomolov, Sergiy [Author]; Johnson, Taylor T. [Author]; Nguyen, Luan Viet [Author]; Schilling, Christian [Author]
  • Published: University of Freiburg: FreiDok, 2019
  • Published in: International journal on software tools for technology transfer. - 21, 1 (2019) , 87-104, ISSN: 1433-2787
  • Language: English
  • DOI: https://doi.org/10.1007/s10009-017-0458-1
  • Origination:
  • Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.