Login / Signup

Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads.

Mohamed Faouzi AtigAhmed BouajjaniShaz Qadeer
Published in: TACAS (2009)
Keyphrases
  • concurrent programs
  • machine learning
  • information systems
  • query language