[1]
Henriksen, J. and Thiagarajan, P. 1997. A Product Version of Dynamic Linear Time Temporal Logic. BRICS Report Series. 4, 9 (Jan. 1997). DOI:https://doi.org/10.7146/brics.v4i9.18800.