Jacobs, S., Perez, G. A., Abraham, R., Bruyere, V., Cadilhac, M., Colange, M., . . . Walker, A. (2022). The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.
Chicago Style (17th ed.) CitationJacobs, Swen, et al. The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. 2022.
MLA (9th ed.) CitationJacobs, Swen, et al. The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. 2022.
Warning: These citations may not always be 100% accurate.