• MARCA

  • Referenced in 31 articles [sw00547]
  • MARCA: Markov chain analyzer, a software package for...
  • SPADES

  • Referenced in 27 articles [sw02205]
  • SPADES -- a process algebra for discrete event simulation...
  • LOTOS

  • Referenced in 152 articles [sw02961]
  • Introduction to the ISO specification language LOTOS. LOTOS...
  • PEPS

  • Referenced in 34 articles [sw03186]
  • Performance Evaluation for Parallel Systems(PEPS). PEPS is...
  • Möbius

  • Referenced in 23 articles [sw04098]
  • Möbius™ is a software tool for modeling the...
  • gnuplot

  • Referenced in 67 articles [sw04188]
  • Gnuplot is a portable command-line driven graphing...
  • CADP

  • Referenced in 130 articles [sw04993]
  • CADP (”Construction and Analysis of Distributed Processes”, formerly...
  • EMpht

  • Referenced in 77 articles [sw08387]
  • EMpht is a program for fitting phase-type...
  • BioNetGen

  • Referenced in 57 articles [sw09072]
  • BioNetGen: software for rule-based modeling of signal...
  • UMDES

  • Referenced in 364 articles [sw09523]
  • UMDES Software Library: UMDES-LIB is a library...
  • PEPA

  • Referenced in 116 articles [sw10692]
  • PEPA: Performance Evaluation Process Algebra. PEPA tools: The...