Model checking for hybrid logics

Authors
Publication date 2003
Book title Proceedings of the Workshop Methods for Modalities
Pages (from-to) 109-124
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Conference contribution
Permalink to this page
Back