APA (7th ed.) Citation

Chrszon, P., Maurer, P., Saleip, G., Müller, S., Fischer, P. M., Gerndt, A., & Felderer, M. (2025). Model checking of spacecraft operational designs: A scalability analysis. Software & Systems Modeling, 24(6), 1825. https://doi.org/10.1007/s10270-025-01281-6

Chicago Style (17th ed.) Citation

Chrszon, Philipp, Paulina Maurer, George Saleip, Sascha Müller, Philipp M. Fischer, Andreas Gerndt, and Michael Felderer. "Model Checking of Spacecraft Operational Designs: A Scalability Analysis." Software & Systems Modeling 24, no. 6 (2025): 1825. https://doi.org/10.1007/s10270-025-01281-6.

MLA (9th ed.) Citation

Chrszon, Philipp, et al. "Model Checking of Spacecraft Operational Designs: A Scalability Analysis." Software & Systems Modeling, vol. 24, no. 6, 2025, p. 1825, https://doi.org/10.1007/s10270-025-01281-6.