Roberto Bruni, Andrea Corradini, Gian Luigi Ferrari, Tito Flagella, Roberto Guanciale, Giorgio Spagnolo. Applying Process Analysis to the Italian eGovernment Enterprise Architecture. In Marco Carbone, Jean-Marc Petit, editors, Web Services and Formal Methods - 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers. Volume 7176 of Lecture Notes in Computer Science, pages 111-127, Springer, 2011. [doi]
Abstract is missing.