Search results for: Patrick Lam
Journal of Pharmacy Practice and Research > 54 > 1 > 48 - 54
Journal of Cardiovascular Electrophysiology > 34 > 9 > 1933 - 1943
American Journal of Political Science > 61 > 4 > 971 - 988
Journal of Shoulder and Elbow Surgery > 2016 > 25 > 6 > 981-988
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 157-173
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Static Analysis > 214-226
Lecture Notes in Computer Science > RoboCup 2003: Robot Soccer World Cup VII > Technical Papers > 355-365
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Verification II > 430-447
Journal of Pharmaceutical Sciences > 103 > 12 > 3924 - 3931
Empirical Software Engineering > 2014 > 19 > 4 > 1009-1039