Marco Danelutto, Peter Kilpatrick, Carlo Montangero, Laura Semini. Model Checking Support for Conflict Resolution in Multiple Non-functional Concern Management. In Michael Alexander, Pasqua D'Ambra, Adam Belloum, George Bosilca, Mario Cannataro, Marco Danelutto, Beniamino Di Martino, Michael Gerndt, Emmanuel Jeannot, Raymond Namyst, Jean Roman, Stephen L. Scott, Jesper Larsson Träff, Geoffroy Vallée, Josef Weidendorfer, editors, Euro-Par 2011: Parallel Processing Workshops - CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 - September 2, 2011, Revised Selected Papers, Part I. Volume 7155 of Lecture Notes in Computer Science, pages 128-138, Springer, 2011. [doi]
Abstract is missing.