Antonia Bertolino, Guglielmo De Angelis, Felicita Di Giandomenico, Eda Marchetti, Antonino Sabetta, Paola Spoletini. Verification and Analysis of Autonomic Systems for Networked Enterprises. In Giuseppe Anastasi, Emilio Bellini, Elisabetta Di Nitto, Carlo Ghezzi, Letizia Tanca, Eugenio Zimeo, editors, Methodologies and Technologies for Networked Enterprises - ArtDeco: Adaptive Infrastructures for Decentralised Organisations. Volume 7200 of Lecture Notes in Computer Science, pages 143-169, Springer, 2012. [doi]
Abstract is missing.