• MoDeST

  • Referenced in 32 articles [sw01544]
  • MoDeST --- a modelling and description language for stochastic...
  • MarCaSPiS

  • Referenced in 5 articles [sw06957]
  • MarCaSPiS: a Markovian Extension of a Calculus for...