Skip to content

Interval Temporal Logic and Star-Free Expressions.

D. Lippert

VenueBCSL
Year1988
ProceedingsCSL

Browse the full CSL paper archive.