Search

Your search keyword '"Timotheus Hell"' showing total 1 results
Start Over Author "Timotheus Hell" Journal corr
1 results on '"Timotheus Hell"'

1. The First Reactive Synthesis Competition (SYNTCOMP 2014).

Author

Swen Jacobs, Roderick Bloem, Romain Brenguier, Rüdiger Ehlers, Timotheus Hell, Robert Könighofer, Guillermo A. Pérez 0001, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, and Adam Walker

Published
2015

Catalog

Books, media, physical & digital resources
See catalog results