Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement
- Publication type:
- Journal article
- Metadata:
-
- Autoren
- Ernst Althaus
- Björn Beber
- Werner Damm
- Stefan Disch
- Willem Hagemann
- Astrid Rakow
- Christoph Scholl
- Uwe Waldmann
- Boris Wirtz
- DOI
- 10.1016/j.scico.2017.04.010
- ISSN
- 0167-6423
- Zeitschrift
- Science of Computer Programming
- Sprache
- en
- Paginierung
- 123 - 160
- Datum der Veröffentlichung
- 2017
- Status
- Published
- Herausgeber
- Elsevier BV
- Herausgeber URL
- http://dx.doi.org/10.1016/j.scico.2017.04.010
- Datum der Datenerfassung
- 2022
- Titel
- Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement
- Ausgabe der Zeitschrift
- 148
Data source: Crossref
- Other metadata sources:
-
- Autoren
- Ernst Althaus
- Björn Beber
- Werner Damm
- Stefan Disch
- Willem Hagemann
- Astrid Rakow
- Christoph Scholl
- Uwe Waldmann
- Boris Wirtz
- Zeitschrift
- Sci. Comput. Program.
- Paginierung
- 123 - 160
- Datum der Veröffentlichung
- 2017
- Titel
- Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement.
- Ausgabe der Zeitschrift
- 148
Data source: DBLP
- Beziehungen:
- Property of