TítuloOn Metric Temporal Lukasiewicz Logic
Publication TypeJournal Article
Year of Publication2009
AuthorsFlaminio T, Tiezzi EBP
JournalElectronic Notes in Theoretical Computer Science
Volume246
Paginación71–85
Palabras claveLukasiewicz logic, Metric Temporal Logic