TY  - CONF

T1  - Testing robots using CSP

JO  - 13th International Conference on Tests and Proofs (TAP 2019)

UR  - https://eprints.whiterose.ac.uk/id/eprint/150135

PY  - 2019/09/23

AU  - Cavalcanti A

AU  - Baxter J

AU  - Hierons RM

AU  - Lefticaru R

ED  - Beyer D

ED  - Keller C

DO  - DOI: 10.1007/978-3-030-31157-5_2

PB  - Springer

SN  - 9783030311568

VL  - 11823

SP  - 21

EP  - 38

Y2  - 2025/11/05

ER  -