Model checking for combined logics with an application to mobile systems

Authors
Publication date 2004
Journal Automated Software Engineering
Volume | Issue number 11
Pages (from-to) 289-321
Number of pages 33
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Article
Permalink to this page
Back