TY  - JOUR

T1  - Process algebraic modelling of attentional capture and human electrophysiology in interactive systems

JO  - Formal Aspects of Computing

PY  - 2009/12/01

AU  - Su L

AU  - Bowman H

AU  - Barnard P

AU  - Wyble B

ED  - 

DO  - DOI: 10.1007/s00165-008-0094-3

PB  - Springer Science and Business Media LLC

VL  - 21

IS  - 6

SP  - 513

EP  - 539

Y2  - 2024/12/22

ER  -