BibTeX Entry

@inproceedings{johansson2010d,
  isbn = {978-3-642-16560-3},
  series = {Lecture Notes in Computer Science},
  year = {2010},
  volume = {6416},
  date = {October 18-20},
  pages = {30-31},
  publisher = {Springer-Verlag},
  title = {Self-adaptation and Evolution by Learning -- Description of EternalS Task Force 3},
  booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation},
  author = {Richard Johansson},
  %booktitle = {ISoLA 2010, Part II, LNCS 6416},
  editor = {T. Margaria and B. Steffen},
  address = {Berlin / Heidelberg},
}