Maurice H. ter Beek, Giorgio P. Faconti, Mieke Massink, Philippe A. Palanque, Marco Winckler. Resilience of Interaction Techniques to Interrupts: A Formal Model-Based Approach. In Tom Gross, Jan Gulliksen, Paula Kotzé, Lars Oestreicher, Philippe A. Palanque, Raquel Oliveira Prates, Marco Winckler, editors, Human-Computer Interaction - INTERACT 2009, 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part I. Volume 5726 of Lecture Notes in Computer Science, pages 494-509, Springer, 2009. [doi]
Abstract is missing.