%0 Thesis %1 phd/ethos/Donaldson07 %A Donaldson, Alastair F. %D 2007 %K dblp %T Automatic techniques for detecting and exploiting symmetry in model checking.

@phdthesis{phd/ethos/Donaldson07, added-at = {2022-04-05T00:00:00.000+0200}, author = {Donaldson, Alastair F.}, biburl = {https://www.bibsonomy.org/bibtex/281aba4b38bb2aa4fc30b14e1849b2ae1/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.443289}, interhash = {960ad1f443c63b1e74d0dcc2a659fed5}, intrahash = {81aba4b38bb2aa4fc30b14e1849b2ae1}, keywords = {dblp}, note = {British Library, EThOS}, school = {University of Glasgow, UK}, timestamp = {2024-04-09T09:02:01.000+0200}, title = {Automatic techniques for detecting and exploiting symmetry in model checking.}, year = 2007 }