@Inproceedings{DBLP:conf/isola/VassevHM14,
   biburl = {http://dblp.uni-trier.de/rec/bib/conf/isola/VassevHM14},
   status = {public},
   link = {http://dx.doi.org/10.1007/978-3-662-45234-9_9},
   task = {T3.3},
   doi = {10.1007/978-3-662-45234-9_9},
   booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 6th International Symposium, ISoLA
2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part
{I}},
   bibsource = {dblp computer science bibliography, http://dblp.org},
   joint-pub = {true},
   year = {2014},
   invited = {false},
   timestamp = {Fri, 26 Sep 2014 12:54:01 +0200},
   main = {false},
   title = {{Formalizing Self-adaptive Clouds with KnowLang}},
   author = {Emil Vassev and Mike Hinchey and Philip Mayer},
   period = {year4},
   partner = {UL,LMU},
   wp = {wp3},
   pages = {117--130}
}