Search results for: Marco A. Pena
European Journal of Heart Failure > 20 > 2 > 199 - 215
The American Journal of Cardiology > 2017 > 119 > 7 > 951-958
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Model Checking and Application > 378-393
ISPRS Journal of Photogrammetry and Remote Sensing > 2012 > 74 > Complete > 1-10
The American Journal of Cardiology > 2004 > 93 > 3 > 280-287