King's College London

Research portal

Verifying an enhanced cover array in linear time

Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

Standard

Verifying an enhanced cover array in linear time. / Iliopoulos, Costas S.; Pissis, Solon P.

Formal Aspects of Computing : Essays dedicated to Derrick Kourie on the occasion of his 65th birthday. ed. / Stefan Gruner; Bruce Watson. Shaker Verlag, 2013. p. 111 - 123 (Informatik).

Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

Harvard

Iliopoulos, CS & Pissis, SP 2013, Verifying an enhanced cover array in linear time. in S Gruner & B Watson (eds), Formal Aspects of Computing : Essays dedicated to Derrick Kourie on the occasion of his 65th birthday. Informatik, Shaker Verlag, pp. 111 - 123. https://doi.org/10.2370/9783844020687

APA

Iliopoulos, C. S., & Pissis, S. P. (2013). Verifying an enhanced cover array in linear time. In S. Gruner, & B. Watson (Eds.), Formal Aspects of Computing : Essays dedicated to Derrick Kourie on the occasion of his 65th birthday (pp. 111 - 123). (Informatik). Shaker Verlag. https://doi.org/10.2370/9783844020687

Vancouver

Iliopoulos CS, Pissis SP. Verifying an enhanced cover array in linear time. In Gruner S, Watson B, editors, Formal Aspects of Computing : Essays dedicated to Derrick Kourie on the occasion of his 65th birthday. Shaker Verlag. 2013. p. 111 - 123. (Informatik). https://doi.org/10.2370/9783844020687

Author

Iliopoulos, Costas S. ; Pissis, Solon P. / Verifying an enhanced cover array in linear time. Formal Aspects of Computing : Essays dedicated to Derrick Kourie on the occasion of his 65th birthday. editor / Stefan Gruner ; Bruce Watson. Shaker Verlag, 2013. pp. 111 - 123 (Informatik).

Bibtex Download

@inbook{996b1536b6054d769e2e56806d51e448,
title = "Verifying an enhanced cover array in linear time",
author = "Iliopoulos, {Costas S.} and Pissis, {Solon P.}",
year = "2013",
month = aug,
day = "1",
doi = "10.2370/9783844020687",
language = "Undefined/Unknown",
series = "Informatik",
publisher = "Shaker Verlag",
pages = "111 -- 123",
editor = "Stefan Gruner and Bruce Watson",
booktitle = "Formal Aspects of Computing",

}

RIS (suitable for import to EndNote) Download

TY - CHAP

T1 - Verifying an enhanced cover array in linear time

AU - Iliopoulos, Costas S.

AU - Pissis, Solon P.

PY - 2013/8/1

Y1 - 2013/8/1

U2 - 10.2370/9783844020687

DO - 10.2370/9783844020687

M3 - Other chapter contribution

T3 - Informatik

SP - 111

EP - 123

BT - Formal Aspects of Computing

A2 - Gruner, Stefan

A2 - Watson, Bruce

PB - Shaker Verlag

ER -

View graph of relations

© 2018 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454