TY - JOUR AU - TI - Automatic Trap Detection: A Debugging Mechanism for Abnormal Specification in the IMS Sequencing Controls JO - IEEE Transactions on Learning Technologies DO - 10.1109/tlt.2009.1 DA - 2008-07-01 UR - https://www.deepdyve.com/lp/unpaywall/automatic-trap-detection-a-debugging-mechanism-for-abnormal-YaXCdo10p0 DP - DeepDyve ER -