Search results for: John V. Guttag
Lecture Notes in Computer Science > Functional Programming, Concurrency, Simulation and Automated Reasoning > 329-348
Lecture Notes in Computer Science > Automatic Verification Methods for Finite State Systems > 349-364
Journal of Biomedical Informatics > 2015 > 53 > Complete > 220-228
IEEE Transactions on Biomedical Engineering > 2014 > 61 > 6 > 1668 - 1675
The American Journal of Cardiology > 2009 > 103 > 3 > 307-311
Cardiovascular Engineering > 2009 > 9 > 1 > 18-26