TY  - CONF

T1  - Testing robots using CSP

JO  - Tests and Proofs

UR  - http://eprints.whiterose.ac.uk/150135/

PY  - 2019/09/23

AU  - Cavalcanti A

AU  - Baxter J

AU  - Hierons RM

AU  - Lefticaru R

ED  - 

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

PB  - Springer

SN  - 9783030311568

SP  - 21

EP  - 38

Y2  - 2024/12/21

ER  -