Two-sorted metric temporal logics

Authors
Publication date 1995
Series Report, CS-R9577
Publisher Amsterdam: CWI
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Report
Permalink to this page
Back