CTL model checking for processing simple XPath queries

Authors
Publication date 2004
Book title Proceedings Temporal Representation and Reasoning
Publisher IEEE Computer Society Press
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Conference contribution
Permalink to this page
Back