Resilience of Interaction Techniques to Interrupts: A Formal Model-Based Approach.

Maurice H. ter Beek, Giorgio P. Faconti, Mieke Massink, Philippe A. Palanque, Marco Winckler

Browse the full Interact paper archive.