King's College London

Research portal

Verifying an enhanced cover array in linear time

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

Original languageUndefined/Unknown
Title of host publicationFormal Aspects of Computing
Subtitle of host publicationEssays dedicated to Derrick Kourie on the occasion of his 65th birthday
EditorsStefan Gruner, Bruce Watson
PublisherShaker Verlag
Pages111 - 123
ISBN (Electronic)978-3-8440-2068-7
DOIs
Publication statusPublished - 1 Aug 2013

Publication series

NameInformatik
PublisherShaker Verlag

King's Authors

View graph of relations

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