- Referenced in 6 articles
- DSSZ-MC -- a tool for symbolic analysis of...
- Referenced in 34 articles
- Snoopy is a software tool to design and...
- Referenced in 131 articles
- OpenGL (Open Graphics Library) is a cross-language...
- Referenced in 81 articles
- The Rodin Platform is an Eclipse-based IDE...
- Referenced in 66 articles
- COPASI: biochemical network simulator. COPASI is a software...
- Referenced in 8 articles
- MARCIE -- model checking and reachability analysis done efficiently...
- Referenced in 30 articles
- BioModels Database: a free, centralized database of curated...
- Referenced in 3 articles
- MoVisPP is a web-based tool to model...