Sign in

Ordered SOS Process Languages for Branching and Eager Bisimulations.

Irek UlidowskiIain C. C. Phillips
Published in: Inf. Comput. (2002)
Keyphrases
  • real world
  • case study
  • neural network
  • optimal solution
  • upper bound
  • software engineering