Results 1 to 2 of 2
Sort by:

  • 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...