Search results for: Lee Pike
IEEE Software > 2017 > 34 > 3 > 49 - 55
IEEE Communications Magazine > 2016 > 54 > 5 > 24 - 25
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Parametrization and Slicing > 58-72
Lecture Notes in Computer Science > Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems > Regular Papers > 167-182
Innovations in Systems and Software Engineering > 2013 > 9 > 4 > 235-255
Formal Aspects of Computing > 2011 > 23 > 3 > 243-266
Annals of Vascular Surgery > 2008 > 22 > 3 > 328-334
Journal of Logic, Language and Information > 2004 > 13 > 3 > 241-266