Two-sorted metric temporal logic

Open Access
Authors
Publication date 1997
Journal Theoretical Computer Science
Volume | Issue number 183
Pages (from-to) 187-214
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Article
Published at https://doi.org/10.1016/S0304-3975(96)00324-6
Downloads
Permalink to this page
Back