Search results for: George J. Milne
Lecture Notes in Computer Science > Formal Methods in Computer-Aided Design > Contributed Papers > 283-299
Lecture Notes in Computer Science > Hardware Specification, Verification and Synthesis: Mathematical Aspects > 1-13
Lecture Notes in Computer Science
BMC Infectious Diseases > 2014 > 14 > 1 > 1-17
BMC Infectious Diseases > 2014 > 14 > 1 > 1-19
Electronic Notes in Theoretical Computer Science > 2006 > 162 > Complete > 249-254
Innovations in Systems and Software Engineering > 2005 > 1 > 1 > 25-40