TY  - CONF

T1  - Eliminating Redundant Tests in a Checking Sequence

PY  - 2005/01/01

AU  - Chen J

AU  - Hierons RM

AU  - Ural H

AU  - Yenigun H

ED  - 

DO  - DOI: 10.1007/11430230_11

PB  - Springer Berlin Heidelberg

SN  - 9783540260547

SP  - 146

EP  - 158

Y2  - 2024/12/22

ER  -