Login / Signup

An Interactive Proof Tool for Process Algebras.

Huimin Lin
Published in: STACS (1992)
Keyphrases
  • user friendly
  • computer vision
  • data structure
  • process model
  • databases
  • real world
  • website
  • user interaction
  • theorem proving