Inproceedings,
Model Checking Support for Conflict Resolution in Multiple Non-functional Concern Management.
M. Danelutto, P. Kilpatrick, C. Montangero, and L. Semini.Euro-Par Workshops (1), volume 7155 of Lecture Notes in Computer Science, page 128-138. Springer, (2011)
Meta data
- BibTeX key
- conf/europar/DaneluttoKMS11
- entry type
- inproceedings
- booktitle
- Euro-Par Workshops (1)
- year
- 2011
- pages
- 128-138
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 7155
- crossref
- conf/europar/2011w1
- ee
- https://doi.org/10.1007/978-3-642-29737-3_16
- isbn
- 978-3-642-29736-6
- url
- http://dblp.uni-trier.de/db/conf/europar/europar2011w1.html#DaneluttoKMS11
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/europar/DaneluttoKMS11
%A Danelutto, Marco
%A Kilpatrick, Peter
%A Montangero, Carlo
%A Semini, Laura
%B Euro-Par Workshops (1)
%D 2011
%E Alexander, Michael
%E D'Ambra, Pasqua
%E Belloum, Adam
%E Bosilca, George
%E Cannataro, Mario
%E Danelutto, Marco
%E Martino, Beniamino Di
%E Gerndt, Michael
%E Jeannot, Emmanuel
%E Namyst, Raymond
%E Roman, Jean
%E Scott, Stephen L.
%E Träff, Jesper Larsson
%E Vallée, Geoffroy
%E Weidendorfer, Josef
%I Springer
%K dblp
%P 128-138
%T Model Checking Support for Conflict Resolution in Multiple Non-functional Concern Management.
%U http://dblp.uni-trier.de/db/conf/europar/europar2011w1.html#DaneluttoKMS11
%V 7155
%@ 978-3-642-29736-6
@inproceedings{conf/europar/DaneluttoKMS11,
added-at = {2017-05-24T00:00:00.000+0200},
author = {Danelutto, Marco and Kilpatrick, Peter and Montangero, Carlo and Semini, Laura},
biburl = {https://www.bibsonomy.org/bibtex/2aaf884a208be8deb38a1a7d13ee3de02/dblp},
booktitle = {Euro-Par Workshops (1)},
crossref = {conf/europar/2011w1},
editor = {Alexander, Michael and D'Ambra, Pasqua and Belloum, Adam and Bosilca, George and Cannataro, Mario and Danelutto, Marco and Martino, Beniamino Di and Gerndt, Michael and Jeannot, Emmanuel and Namyst, Raymond and Roman, Jean and Scott, Stephen L. and Träff, Jesper Larsson and Vallée, Geoffroy and Weidendorfer, Josef},
ee = {https://doi.org/10.1007/978-3-642-29737-3_16},
interhash = {6f7d412d996f930412fb2943563e6a07},
intrahash = {aaf884a208be8deb38a1a7d13ee3de02},
isbn = {978-3-642-29736-6},
keywords = {dblp},
pages = {128-138},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2020-02-20T12:23:41.000+0100},
title = {Model Checking Support for Conflict Resolution in Multiple Non-functional Concern Management.},
url = {http://dblp.uni-trier.de/db/conf/europar/europar2011w1.html#DaneluttoKMS11},
volume = 7155,
year = 2011
}