Conventional Verification for Unconventional Computing: A Genetic XOR Gate Example

Fundamenta Informaticae - Netherlands
doi 10.3233/fi-2014-1093