@InProceedings{toben_et_al:DSP:2010:2517,
  author ={Tobe Toben and Bernd Westphal and Jan-Hendrik Rakow},
  title ={Spotlight Abstraction of Agents and Areas},
  booktitle ={Quantitative and Qualitative Analysis of Network Protocols},
  year ={2010},
  editor ={Bengt Jonsson and J{\"o}rg Kreiker and Marta Kwiatkowska},
  number ={10051},
  series ={Dagstuhl Seminar Proceedings},
  ISSN ={1862-4405},
  publisher ={Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  address ={Dagstuhl, Germany},
  URL ={http://drops.dagstuhl.de/opus/volltexte/2010/2517},
}