Metric temporal logic revisited

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)301-324
JournalActa Informatica
Volume53
Issue number2
DOIs
Publication statusPublished - 2016

Cite this