Login / Signup

Using Fairness Constraints in Process-Algebraic Verification.

Antti Puhakka
Published in: ICTAC (2005)
Keyphrases
  • neural network
  • data structure
  • process model
  • development process
  • real time
  • data sets
  • information systems
  • higher order
  • hard constraints