Pascal Fenkam, Mehdi Jazayeri. Formally Designing an Event-Based Application for Mobile Collaboration: A Case Study. In Thomas Gschwind, Cecilia Mascolo, editors, Software Engineering and Middleware, 4th International Workshop, SEM 2004,Linz, Austria, September 20-21, 2004, Revised Selected Papers. Volume 3437 of Lecture Notes in Computer Science, pages 78-90, Springer, 2004. [doi]
Abstract is missing.