Rabéa Boulifa, Eric Madelaine. Model Generation for Distributed Java Programs. In Nicolas Guelfi, Egidio Astesiano, Gianna Reggio, editors, Scientific Engineering of Distributed Java Applications, Third International Workshop, FIDJI 2003, Luxenbourg-Kirchberg, Luxenbourg, November 27-28, 2003, Revised Papers. Volume 2952 of Lecture Notes in Computer Science, pages 139-152, Springer, 2003. [doi]
Abstract is missing.