TY  - JOUR

T1  - Testing using CSP models: time, inputs, and outputs

JO  - ACM Transactions on Computational Logic

PY  - 2022/11/19

AU  - Baxter J

AU  - Cavalcanti A

AU  - Gazda M

AU  - Hierons R

ED  - 

PB  - Association for Computing Machinery (ACM)

Y2  - 2024/12/21

ER  -