StonyCam

swMATH2004MaRDI QIDQ14552FDOQ14552

Author name not available (Why is that?)

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