• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Simulation and Bisimulation over One-Counter Processes.

Petr JancarAntonín KuceraFaron Moller
Published in: STACS (2000)
Keyphrases
  • simulation model
  • simulation environment
  • electro mechanical systems
  • database
  • search engine
  • process model
  • computational models
  • machine learning
  • decision trees
  • digital libraries
  • mathematical models