Model Checking Hybrid Logics (With An Application to Semistructured Data)

Authors
Publication date 2006
Journal Journal of Applied Logic
Volume | Issue number 4
Pages (from-to) 279-304
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Article
Note fran:mode06
Permalink to this page
Back