A Product Version of Dynamic Linear Time Temporal Logic.

Jesper G. Henriksen, P. S. Thiagarajan

Browse the full CONCUR paper archive.