APA (7th ed.) Citation

Gil Dantas, Y., Munaro, T., Carlan, C., Nigam, V., Barner, S., Fan, S., . . . Tverdyshev, S. (2023). A Toolchain for Synthesizing and Validating Safety Architectures. SN computer science, 4(4), 335. https://doi.org/10.1007/s42979-023-01712-5

Chicago Style (17th ed.) Citation

Gil Dantas, Yuri, Tiziano Munaro, Carmen Carlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schöpp, and Sergey Tverdyshev. "A Toolchain for Synthesizing and Validating Safety Architectures." SN Computer Science 4, no. 4 (2023): 335. https://doi.org/10.1007/s42979-023-01712-5.

MLA (9th ed.) Citation

Gil Dantas, Yuri, et al. "A Toolchain for Synthesizing and Validating Safety Architectures." SN Computer Science, vol. 4, no. 4, 2023, p. 335, https://doi.org/10.1007/s42979-023-01712-5.