Fingerprint
Dive into the research topics of 'The first reactive synthesis competition (SYNTCOMP 2014)'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
The first reactive synthesis competition (SYNTCOMP 2014)
Swen Jacobs*, Roderick Bloem, Romain Brenguier, Rüdiger Ehlers, Timotheus Hell, Robert Könighofer, Guillermo A. Pérez, Jean François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker
*Corresponding author for this work
Research output: Contribution to journal › Article › peer-review