• Published

  Visualisation for Stochastic Process Algebras: The Graphic Truth

  Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

• Published

  Compositional abstractions for long-run properties of stochastic systems

  Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

• Published

  Controlling Modelling Artifacts

  Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

View all »

• Springer, 0-387

  Central database

  Publisher

• IEEE, 0-7803

  Central database

  Publisher

• IEEE Computer Society Press, 0-7695

  Central database

  Publisher