TY - JOUR T1 - Specification, Testing and Verification of Unconventional Computations using Generalised X-Machines JO - International Journal of General Systems UR - http://eprints.whiterose.ac.uk/76025/ UR - http://www.tandfonline.com/doi/full/10.1080/03081079.2014.924203 PY - 2014/06/10 AU - Stannett MP ED - Adamatzky A DO - DOI: 10.1080/03081079.2014.924203 PB - Taylor & Francis VL - 43 IS - 7 SP - 713 EP - 721 Y2 - 2025/04/07 ER -