Althaus, E., Beber, B., Damm, W., Disch, S., Hagemann, W., Rakow, A., . . . Wirtz, B. (2017). Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement. Science of computer programming, 148, 123-160. https://doi.org/10.1016/j.scico.2017.04.010
Chicago-Zitierstil (17. Ausg.)Althaus, Ernst, Björn Beber, Werner Damm, Stefan Disch, Willem Hagemann, Astrid Rakow, Christoph Scholl, Uwe Waldmann, und Boris Wirtz. "Verification of Linear Hybrid Systems with Large Discrete State Spaces Using Counterexample-guided Abstraction Refinement." Science of Computer Programming 148 (2017): 123-160. https://doi.org/10.1016/j.scico.2017.04.010.
MLA-Zitierstil (9. Ausg.)Althaus, Ernst, et al. "Verification of Linear Hybrid Systems with Large Discrete State Spaces Using Counterexample-guided Abstraction Refinement." Science of Computer Programming, vol. 148, 2017, pp. 123-160, https://doi.org/10.1016/j.scico.2017.04.010.