Login / Signup

Structural Analysis for Stochastic Process Algebra Models.

Jie DingJane Hillston
Published in: AMAST (2010)
Keyphrases
  • structural analysis
  • process algebra
  • formal specification
  • three dimensional