Login / Signup

Approximating bisimulation in one-counter nets.

Vladimir A. Bashkin
Published in: Autom. Control. Comput. Sci. (2012)
Keyphrases
  • neural network
  • real world
  • knowledge base
  • viewpoint
  • control system