• DSSZ-MC

  • Referenced in 6 articles [sw01360]
  • DSSZ-MC -- a tool for symbolic analysis of...
  • SNOOPY

  • Referenced in 34 articles [sw04386]
  • Snoopy is a software tool to design and...
  • OpenGL

  • Referenced in 131 articles [sw06740]
  • OpenGL (Open Graphics Library) is a cross-language...
  • Rodin

  • Referenced in 81 articles [sw07083]
  • The Rodin Platform is an Eclipse-based IDE...
  • COPASI

  • Referenced in 66 articles [sw12253]
  • COPASI: biochemical network simulator. COPASI is a software...
  • MARCIE

  • Referenced in 8 articles [sw12882]
  • MARCIE -- model checking and reachability analysis done efficiently...
  • BioModels

  • Referenced in 30 articles [sw13610]
  • BioModels Database: a free, centralized database of curated...