StonyCam

MaRDI QIDQ14552swMATHFDO

Official website http://www.cs.sunysb.edu/~grosu/ugo65fest08.pdf

Described by source

• StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes

Cited in

(2)

• Model checking biological oscillators
• Detecting synchronisation of biological oscillators by model checking

This page was built for software: StonyCam