On Metric Temporal Lukasiewicz Logic

Tommaso Flaminio, Elisa B. P. Tiezzi. On Metric Temporal Lukasiewicz Logic. Electronic Notes in Theoretical Computer Science, 246:71-85, 2009. [doi]

Authors

Tommaso Flaminio

This author has not been identified. Look up 'Tommaso Flaminio' in Google

Elisa B. P. Tiezzi

This author has not been identified. Look up 'Elisa B. P. Tiezzi' in Google