TitleOn Metric Temporal Lukasiewicz Logic
Publication TypeJournal Article
Year of Publication2009
AuthorsFlaminio T, Tiezzi EBP
JournalElectronic Notes in Theoretical Computer Science
Volume246
Pagination71–85
KeywordsLukasiewicz logic, Metric Temporal Logic