Authors (2007)

by Thao Dang , Alexandre Donze , Oded Maler , Dejan Nickovic , Amir Pnueli