APA (7th ed.) Citation

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 Style (17th ed.) Citation

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

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.