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

  • Referenced in 2665 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...