TY - JOUR T1 - Performance of Reactive Interfaces in Stimulus Rich Environments, Applying Formal Methods and Cognitive Frameworks JO - Electronic Notes in Theoretical Computer Science UR - https://doi.org/10.1016/j.entcs.2008.03.109 PY - 2008/04/14 AU - Su L AU - Bowman H AU - Barnard P ED - DO - DOI: 10.1016/j.entcs.2008.03.109 PB - Elsevier BV VL - 208 SP - 95 EP - 111 Y2 - 2025/11/09 ER -