Events in Linear-Time Properties.

Dimitrie O. Paun, Marsha Chechik

Browse the full RE paper archive.