External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Quantitative Model Checking of Knowledge

Wei Wan, Jamal Bentahar, Abdessamad Ben Hamza. Quantitative Model Checking of Knowledge. In Hamido Fujita, Roberto Revetria, editors, New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Eleventh SoMeT '12, Genoa, Italy, September 26~28, 2012. Volume 246 of Frontiers in Artificial Intelligence and Applications, pages 91-107, IOS Press, 2012. [doi]

Authors

Wei Wan

This author has not been identified. Look up 'Wei Wan' in Google

Jamal Bentahar

This author has not been identified. Look up 'Jamal Bentahar' in Google

Abdessamad Ben Hamza

This author has not been identified. Look up 'Abdessamad Ben Hamza' in Google
runs on