The first-order logic of signals: keynote.

Alexey Bakhirkin, Thomas Ferrre, Thomas A. Henzinger, Dejan Nickovic

Browse the full EMSOFT paper archive.