Skip to content

Parametric Metric Interval Temporal Logic.

Barbara Di Giampaolo, Salvatore La Torre, Margherita Napoli

VenueCLATA
Year2010
ProceedingsLATA

Browse the full LATA paper archive.