Search results for: Graeme Smith
European Journal of Haematology > 109 > 1 > 90 - 99
Journal of Clinical Nursing > 30 > 3-4 > 581 - 587
BJOG: An International Journal of Obstetrics & Gynaecology > 128 > 3 > 521 - 531
The Lancet Haematology > 2017 > 4 > 7 > e310-e316
Formal Aspects of Computing > 2017 > 29 > 6 > 935-950
Fisheries Research > 2017 > 186 > P2 > 426-438
Science of Computer Programming > 2016 > 131 > C > 126-150
Lecture Notes in Computer Science > Software-Intensive Systems and New Computing Paradigms > II Theory and Formal Methods > 146-161
Formal Aspects of Computing > 2017 > 29 > 2 > 227-249
IEEE Transactions on Information Theory > 2016 > 62 > 7 > 4358 - 4359
Lecture Notes in Computer Science > FME '97: Industrial Applications and Strengthened Foundations of Formal Methods > 62-81
Lecture Notes in Computer Science > Autonomic and Trusted Computing > Organic and Autonomic Computing > 90-104