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
Citace podle Chicago (17th ed.)Althaus, Ernst, Björn Beber, Werner Damm, Stefan Disch, Willem Hagemann, Astrid Rakow, Christoph Scholl, Uwe Waldmann, a 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.
Citace podle MLA (9th ed.)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.