Best Tool Award at ARCH 2016 goes to Stanley Bak, Sergiy Bogomolov, and Christian Schilling

The best tool award at ARCH 2016 goes to Stanley Bak, Sergiy Bogomolov, and Christian Schilling for their paper "High-level Hybrid Systems Analysis with Hypy". Congratulations! The award comes with a $500 prize from Bosch.

Submitted by Goran Frehse on
Feedback
Feedback
If you experience a bug or would like to see an addition or change on the current page, feel free to leave us a message.
Image CAPTCHA
Enter the characters shown in the image.
This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.