Login / Signup

Application of Dijkstra's weakest precondition calculus to Dining Philosophers problem.

Jayasri BanerjeeAnup Kumar BandyopadhyayAjit Kumar Mandal
Published in: ACM SIGSOFT Softw. Eng. Notes (2007)
Keyphrases
  • data sets
  • database
  • multimedia
  • decision support
  • application specific
  • databases
  • information retrieval
  • artificial intelligence
  • website
  • decision trees
  • case study
  • digital libraries