Items where Author is "Donaldson, Alastair F."
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Number of items: 1.
Donaldson, Alastair F. (2007) Automatic techniques for detecting and exploiting symmetry in model checking. PhD thesis, University of Glasgow.
In this section
Donaldson, Alastair F. (2007) Automatic techniques for detecting and exploiting symmetry in model checking. PhD thesis, University of Glasgow.