Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%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
}