%0 Thesis %1 phd/ethos/Collins06a %A Collins, Mark %D 2006 %K %T An algorithm for evolving protocol constraints.

@phdthesis{phd/ethos/Collins06a, added-at = {2023-12-13T07:37:53.000+0100}, author = {Collins, Mark}, biburl = {https://www.bibsonomy.org/bibtex/27ac2ec9b934be13129135cad0c5f8cf8/admin}, ee = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.561939}, interhash = {bb5c6b6f25e39ebeaf1d21e3edef5e4c}, intrahash = {7ac2ec9b934be13129135cad0c5f8cf8}, keywords = {}, note = {British Library, EThOS}, school = {University of Edinburgh, UK}, timestamp = {2023-12-13T07:37:53.000+0100}, title = {An algorithm for evolving protocol constraints.}, year = 2006 }