TY  - JOUR

T1  - Removing redundant refusals: minimal complete test suites for failure trace semantics

JO  - Information and Computation

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

PY  - 2023/01/25

AU  - Gazda M

AU  - Hierons R

ED  - 

DO  - DOI: 10.1016/j.ic.2023.105009

PB  - Elsevier

VL  - 291

Y2  - 2024/09/19

ER  -