• CCSP

  • Referenced in 14 articles [sw00111]
  • CCSP: A formal system for distributed program debugging...
  • Matlab

  • Referenced in 12821 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • GAMS

  • Referenced in 856 articles [sw04978]
  • The General Algebraic Modeling System (GAMS) is specifically...