StonyCam

swMATH2004MaRDI QIDQ14552

No author found.

Described by source

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

Related Items (2)

Model Checking Biological Oscillators ⋮ Detecting synchronisation of biological oscillators by model checking

This page was built for software: StonyCam