TítolOn Metric Temporal Lukasiewicz Logic
Publication TypeJournal Article
Year of Publication2009
AuthorsFlaminio T, Tiezzi EBP
JournalElectronic Notes in Theoretical Computer Science
Volume246
Paginació71–85
Paraules clauLukasiewicz logic, Metric Temporal Logic