↓ Skip to main content

The first reactive synthesis competition (SYNTCOMP 2014)

Overview of attention for article published in International Journal on Software Tools for Technology Transfer, April 2016
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
29 Dimensions

Readers on

mendeley
12 Mendeley