CSL Model Checking of Biochemical Networks with Interval Decision Diagrams
CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
Stochastic Petri net models of Ca2+ signaling complexes and their analysis
Natural Computing: an international journal
Hi-index | 3.84 |
Summary: Möbius has found numerous applications in computational biology to build and solve stochastic models of biological processes. It provides the user with a modeling workflow and several sophisticated features that are not available in the simulation tools commonly used by computational biologists. Availability: Möbius is free for academic users. It can be downloaded from www.mobius.uiuc.edu. Contact:peccoud@vt.edu or tod@crhc.uiuc.edu