StonyCam

swMATH2004MaRDI QIDQ14552FDOQ14552

Author name not available (Why is that?)

Described by source

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

Cited In (2)

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

This page was built for software: StonyCam