@proceedings{PoSc08,
  key         ={PoSc08},
  title       ={Workshop on Verification of Adaptive Systems (VerAS)},
  address     ={Kaiserslautern, Germany},
  editor      ={A. Poetzsch-Heffter and K. Schneider},
  publisher   ={Elsevier},
  series      ={Electronic Notes in Theoretical Computer Science (ENTCS)},
  volume      ={200},
  number      ={2},
  year        ={2008},
  remark      ={rsg}
}