Sign in

Symbolic predictive analysis for concurrent programs.

Chao WangSudipta KunduRhishikesh LimayeMalay K. GanaiAarti Gupta
Published in: Formal Aspects Comput. (2011)
Keyphrases
  • concurrent programs
  • artificial intelligence
  • web services
  • web applications