Login / Signup

Dynamic Cutoff Detection in Parameterized Concurrent Programs.

Alexander KaiserDaniel KroeningThomas Wahl
Published in: CAV (2010)
Keyphrases
  • concurrent programs
  • detection algorithm
  • artificial intelligence
  • information systems
  • general purpose