Past-Present Temporal Programs over Finite Traces.

Pedro Cabalar, Martn Diguez, Franois Laferrire, Torsten Schaub

Browse the full JELIA paper archive.