46 search results - page 10 / 10 » Static Detection of Loop-Invariant Data Structures |
DAGM
2010
Springer
13 years 3 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...