Login / Signup

Generating BDD Models for Process Algebra Terms.

Ashvin DsouzaBard Bloom
Published in: CAV (1995)
Keyphrases
  • process algebra
  • real time
  • general purpose