Timotheus Hell

According to our database, Timotheus Hell authored at least 1 paper in 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

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

Int. J. Softw. Tools Technol. Transf., 2017