Search results for: Cristina David
Psycho‐Oncology > 28 > 12 > 2396 - 2405
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Session 4 > 251-266
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 173-187
NATO Security through Science Series > Chemicals as Intentional and Accidental Global Environmental Threats > 435-442
International Journal on Software Tools for Technology Transfer > 2014 > 16 > 4 > 363-380
Science of Computer Programming > 2012 > 77 > 9 > 1006-1036
Journal of Membrane Science > 2011 > 378 > 1-2 > 359-368
American Journal of Obstetrics and Gynecology > 1996 > 174 > 3 > 1037-1042