BioShape

MaRDI QIDQ20531swMATHFDO

Official website http://www.sciencedirect.com/science/article/pii/S1571066110001507

Cited in

(6)

• Towards Abstraction-Based Verification of Shape Calculus
• Bone remodelling: a complex automata-based model running in BioShape
• SLMC
• BioAmbient Machine
• Bone remodelling in \textsc{BioShape}
• Rigid geometric constraints for Kappa models

This page was built for software: BioShape