Rabin Lecture. Monday 18/12/2017 14:30

Reactive Systems: A Powerful Paradigm for Modeling and Analysis from Engineering to Biology