TITLE     : Resilience of Interaction Techniques to Interrupts: A formal model-based approach
AUTHOR(S) : Ter Beek Mh, Faconti G, Massink M, Palanque Pa, Winckler M
TYPE      : Conference article
YEAR      : 2009
CODE      : 176278

*** DO NOT EDIT THIS FILE ***