Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Jacobs, Swen
Pérez, Guillermo A.
Abraham, Remco
Bruyère, Véronique
Cadilhac, Michaël
Colange, Maximilien
Delfosse, Charly
van Dijk, Tom
Duret-Lutz, Alexandre
Faymonville, Peter
Finkbeiner, Bernd
Khalimov, Ayrat
Klein, Felix
Luttenberger, Michael
Meyer, Klara
Michaud, Thibaud
Pommellet, Adrien
Renkin, Florian
Schlehuber-Caissier, Philipp
Sakr, Mouhammad
Sickert, Salomon
Staquet, Gaëtan
Tamines, Clément
Tentrup, Leander
and
Walker, Adam
2024.
The Reactive Synthesis Competition (SYNTCOMP): 2018–2021.
International Journal on Software Tools for Technology Transfer,
Vol. 26,
Issue. 5,
p.
551.