%0 Journal Article
%A Polini, Andrea
%A Polzonetti, Andrea
%A Re, Barbara
%T Formal Methods to Improve Public Administration Business Processes
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2012
%P 203-229
%V 46
%N 2
%I EDP-Sciences
%U http://www.numdam.org/articles/10.1051/ita/2012002/
%R 10.1051/ita/2012002
%G en
%F ITA_2012__46_2_203_0