by Donaldson, A. F., Miller, A.
Published in FM 2005: Formal Methods (2005)

by Miller, A., Calder, M., Donaldson, A.F.
Published in Computer networks (Amsterdam, Netherlands : 1999) (07.02.2007)

by MILLER, A, CALDER, M, DONALDSON, A. F
Published in Computer networks (Amsterdam, Netherlands : 1999) (2007)

by Botincan, Matko, Dodds, Mike, Donaldson, Alastair F., Parkinson, Matthew J.
Published in 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) (06.11.2011)

by DONALDSON, F A, WALDRON, W L
Published in The Journal of the Louisiana State Medical Society (01.09.1953)

by Donaldson, Alastair F., Gay, Simon J.
Published in Lecture notes in computer science (2005)

by Kordjian, Natalie, Donaldson, Annabelle D, Murrell, Dedee F, Krilis, Steven A
Published in Medical journal of Australia (17.01.2005)