Publications

On Metric Temporal Lukasiewicz Logic

Publication Type:

Journal Article

Source:

Electronic Notes in Theoretical Computer Science, Volume 246, p.71--85 (2009)

Keywords:

Metric Temporal Logic; Lukasiewicz Logic