Login / Signup

Efficient Scaling-Invariant Checking of Timed Bisimulation.

Carsten WeiseDirk Lenzkes
Published in: STACS (1997)
Keyphrases
  • search algorithm
  • database
  • neural network
  • machine learning
  • artificial intelligence