Login / Signup

Apportioning: a technique for efficient reachability analysis of concurrent object-oriented programs.

Sridhar IyerS. Ramesh
Published in: HiPC (1998)
Keyphrases
  • reachability analysis
  • object oriented programs
  • database
  • open source
  • model checking