46 search results - page 10 / 10 » Static Detection of Loop-Invariant Data Structures |
142
Voted
DAGM
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Atrial fibrillation is the most common sustained arrhythmia. One important treatment option is radio-frequency catheter ablation (RFCA) of the pulmonary veins attached t...