TY - CONF T1 - Using adaptive distinguishing sequences in checking sequence constructions JO - Proceedings of the 2008 ACM symposium on Applied computing - SAC '08 PY - 2008/01/01 AU - Hierons RM AU - Jourdan G-V AU - Ural H AU - Yenigun H ED - DO - DOI: 10.1145/1363686.1363850 PB - ACM Press SN - 9781595937537 Y2 - 2025/06/01 ER -