AiSHA: Abstraction in Stochastic and Hybrid process Algebra

Publications: in EPrints
Further information: http://fmt.cs.utwente.nl/projects/AiSHA-html/