Range Arithmetics to Speed up Reachability Analysis of Analog Systems.

Research output: Contribution to conference › Paper › Research › peer review

Authors

  • Darius Grabowski
  • Markus Olbrich
  • Christoph Grimm
  • Erich Barke

Research Organisations

View graph of relations

Details

Original languageUndefined/Unknown
Pages38-43
Publication statusPublished - 2007

Cite this

Range Arithmetics to Speed up Reachability Analysis of Analog Systems. / Grabowski, Darius; Olbrich, Markus; Grimm, Christoph et al.
2007. 38-43.

Research output: Contribution to conference › Paper › Research › peer review

Grabowski, D, Olbrich, M, Grimm, C & Barke, E 2007, 'Range Arithmetics to Speed up Reachability Analysis of Analog Systems.', pp. 38-43.
Grabowski, D., Olbrich, M., Grimm, C., & Barke, E. (2007). Range Arithmetics to Speed up Reachability Analysis of Analog Systems.. 38-43.
Grabowski D, Olbrich M, Grimm C, Barke E. Range Arithmetics to Speed up Reachability Analysis of Analog Systems.. 2007.
Grabowski, Darius ; Olbrich, Markus ; Grimm, Christoph et al. / Range Arithmetics to Speed up Reachability Analysis of Analog Systems.
Download
@conference{5c71bd30f9dc4fc7919c8978194dea72,
title = "Range Arithmetics to Speed up Reachability Analysis of Analog Systems.",
author = "Darius Grabowski and Markus Olbrich and Christoph Grimm and Erich Barke",
note = "DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.",
year = "2007",
language = "Undefined/Unknown",
pages = "38--43",

}

Download

TY - CONF

T1 - Range Arithmetics to Speed up Reachability Analysis of Analog Systems.

AU - Grabowski, Darius

AU - Olbrich, Markus

AU - Grimm, Christoph

AU - Barke, Erich

N1 - DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 2007

Y1 - 2007

UR - https://dblp.org/rec/conf/fdl/GrabowskiOGB07

M3 - Paper

SP - 38

EP - 43

ER -