Verifying an enhanced cover array in linear time

Iliopoulos, Costas S.; Pissis, Solon P.

doi:10.2370/9783844020687

by Costas S. Iliopoulos, Solon P. Pissis

Reference:

Verifying an enhanced cover array in linear time (Costas S. Iliopoulos, Solon P. Pissis), Chapter in Formal Aspects of Computing, Essays dedicated to Derrick Kourie on the occasion of his 65th birthday (Stefan Gruner, Bruce Watson, eds.), Shaker Verlag, 2013.

Bibtex Entry:

@incollection{Informatik2013,
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="Costas S. Iliopoulos and Solon P. Pissis",
publisher="Shaker Verlag",
pages="111 - 123",
doi="10.2370/9783844020687"
}