by Iliopoulos, Costas S. and Pissis, Solon P.
Reference:
C. S. Iliopoulos, S. P. Pissis, "Verifying an enhanced cover array in linear time", in Formal Aspects of Computing, Essays dedicated to Derrick Kourie on the occasion of his 65th birthday, S. Gruner, B. Watson, Eds., Shaker Verlag, 2013, pp. 111 - 123.
Bibtex Entry:
@incollection{Kourie,
year={2013},
isbn={978-3-8440-2068-7},
booktitle={Formal Aspects of Computing, Essays dedicated to Derrick Kourie on the occasion of his 65th birthday},
series={Informatik},
editor={Stefan Gruner and Bruce Watson},
title={ Verifying an enhanced cover array in linear time},
author={Iliopoulos, Costas S. and Pissis, Solon P.},
publisher="Shaker Verlag ",
pages={111 - 123},
doi={10.2370/9783844020687}
}