@inproceedings{inproceedings, title = {{Testing robots using CSP}}, publisher = {{Springer}}, url = {{http://eprints.whiterose.ac.uk/150135/ }}, year = {{2019}}, month = {{9}}, author = {{Cavalcanti A and Baxter J and Hierons RM and Lefticaru R}}, doi = {{10.1007/978-3-030-31157-5_2}}, isbn = {{9783030311568}}, journal = {{Tests and Proofs}}, pages = {{21-38}}, note = {{Accessed on 2024/12/22}}}