Model Checking Biological Oscillators (Q5404073)
From MaRDI portal
scientific article; zbMATH DE number 6272167
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Model Checking Biological Oscillators |
scientific article; zbMATH DE number 6272167 |
Statements
Model Checking Biological Oscillators (English)
0 references
21 March 2014
0 references
spontaneous synchronization
0 references
Kuramoto model
0 references
oscillator timed automata
0 references
KSL
0 references
model checking
0 references
