Login / Signup

Scalable Differential Analysis of Process Algebra Models.

Mirco TribastoneStephen GilmoreJane Hillston
Published in: IEEE Trans. Software Eng. (2012)
Keyphrases
  • case study
  • fine grained
  • process algebra
  • artificial intelligence
  • general purpose