Model checking for hybrid logics

Authors
Publication date 2003
Book title Proceedings M4M-3
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Chapter
Permalink to this page
Back