Login / Signup

: Extracting CSP Models from Concurrent Programs.

Moritz KleineBjörn BartelsThomas GöthelSteffen HelkeDirk Prenzel
Published in: NASA Formal Methods (2011)
Keyphrases
  • artificial intelligence
  • constraint satisfaction problems
  • relational databases
  • cloud computing
  • concurrent programs