Model Checking Support for Conflict Resolution in Multiple Non-functional Concern Management

D. Danelutto, Peter Kilpatrick, C. Montangero, L. Semini

Research output: Contribution to conference › Paper

Original language	English
Pages	128-138
Number of pages	11
Publication status	Published - Aug 2011
Event	Workshops of EuroPar 2011: CoreGRID Symposium 2011 - Bordeaux, France Duration: 01 Aug 2011 → 01 Aug 2011

Conference	Workshops of EuroPar 2011: CoreGRID Symposium 2011
Country/Territory	France
City	Bordeaux
Period	01/08/2011 → 01/08/2011

ISSN: 978-3-642-29736-6

Cite this

@conference{95b819a2776f499197e765a4b5e880d3,

title = "Model Checking Support for Conflict Resolution in Multiple Non-functional Concern Management",

author = "D. Danelutto and Peter Kilpatrick and C. Montangero and L. Semini",

note = "ISSN: 978-3-642-29736-6; Workshops of EuroPar 2011: CoreGRID Symposium 2011 ; Conference date: 01-08-2011 Through 01-08-2011",

year = "2011",

month = aug,

language = "English",

pages = "128--138",

}

TY - CONF

T1 - Model Checking Support for Conflict Resolution in Multiple Non-functional Concern Management

AU - Danelutto, D.

AU - Kilpatrick, Peter

AU - Montangero, C.

AU - Semini, L.

N1 - ISSN: 978-3-642-29736-6

PY - 2011/8

Y1 - 2011/8

M3 - Paper

SP - 128

EP - 138

T2 - Workshops of EuroPar 2011: CoreGRID Symposium 2011

Y2 - 1 August 2011 through 1 August 2011

ER -