Back to Results
First PageMeta Content
Theoretical computer science / Rajeev Alur / Logic in computer science / Symposium on Logic in Computer Science / Automata / Hybrid automaton / Formal languages / Timed automaton


The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given to Rajeev Alur and David Dill for their inv
Add to Reading List

Open Document

File Size: 41,85 KB

Share Result on Facebook