@inproceedings{renngiitg2006,
  author    = "T. Renner and T. Bluhm and A. Schneider and J. Knaeblein and R. Zavala and Ulrich Heinkel",
  title     = "Formale Spezifikation und Verifikation abstrakter Beschreibungen von Telekommunikationsprotokollen",
  booktitle = "9. GI/ITG/GMM Workshop Methoden und Beschreibungssprachen",
  year      = "2006",
  address   = "Dresden",
  month     = feb,
  isbn      = "3-9810287-1-6"
}